Formula:3512

From MaRDI portal