Formula:719

From MaRDI portal