Formula:7257

From MaRDI portal