Formula:4575

From MaRDI portal