Formula:1024

From MaRDI portal