Formula:4377

From MaRDI portal