Formula:2251

From MaRDI portal