Formula:7932

From MaRDI portal