Formula:7744

From MaRDI portal