Formula:10175

From MaRDI portal