Formula:5445

From MaRDI portal