Formula:519

From MaRDI portal