Formula:4557

From MaRDI portal