Formula:4317

From MaRDI portal