Formula:4544

From MaRDI portal