Formula:4243

From MaRDI portal