Formula:7639

From MaRDI portal