Formula:9946

From MaRDI portal