Formula:629

From MaRDI portal