Formula:4537

From MaRDI portal