Formula:5246

From MaRDI portal