Formula:1028

From MaRDI portal