Formula:4048

From MaRDI portal