Formula:3213

From MaRDI portal