Formula:5110

From MaRDI portal