Formula:4295

From MaRDI portal