Formula:599

From MaRDI portal