Formula:59

From MaRDI portal