Formula:7211

From MaRDI portal