Formula:4005

From MaRDI portal