Formula:246

From MaRDI portal