Formula:459

From MaRDI portal