Formula:3283

From MaRDI portal