Formula:2489

From MaRDI portal