Formula:7613

From MaRDI portal