Formula:4476

From MaRDI portal