Formula:654

From MaRDI portal