Formula:4583

From MaRDI portal