Formula:4552

From MaRDI portal