Formula:5531

From MaRDI portal