Formula:5202

From MaRDI portal