Formula:8372

From MaRDI portal