Formula:5576

From MaRDI portal