Formula:4508

From MaRDI portal