Formula:9558

From MaRDI portal