Formula:627

From MaRDI portal