Formula:9253

From MaRDI portal