Formula:1245

From MaRDI portal