Formula:5317

From MaRDI portal