Formula:1253

From MaRDI portal