Formula:628

From MaRDI portal