Formula:9557

From MaRDI portal