Formula:175

From MaRDI portal