Formula:7659

From MaRDI portal