Formula:4232

From MaRDI portal