Formula:4558

From MaRDI portal