Formula:3495

From MaRDI portal