Formula:9406

From MaRDI portal