Formula:608

From MaRDI portal