Formula:4659

From MaRDI portal