Formula:4001

From MaRDI portal