Formula:9111

From MaRDI portal