Formula:5875

From MaRDI portal