Formula:9710

From MaRDI portal