Formula:4690

From MaRDI portal