Formula:9221

From MaRDI portal