Formula:372

From MaRDI portal