Formula:7959

From MaRDI portal