Formula:630

From MaRDI portal