Formula:5824

From MaRDI portal