Formula:4547

From MaRDI portal