Formula:9717

From MaRDI portal