Formula:7784

From MaRDI portal