Formula:1013

From MaRDI portal