Formula:4000

From MaRDI portal