Formula:290

From MaRDI portal