Formula:3511

From MaRDI portal