Formula:2679

From MaRDI portal