Formula:9939

From MaRDI portal