Formula:5749

From MaRDI portal