Formula:3372

From MaRDI portal