Formula:4548

From MaRDI portal