Formula:3028

From MaRDI portal