Formula:5179

From MaRDI portal