Formula:3496

From MaRDI portal