Formula:5239

From MaRDI portal