Formula:10235

From MaRDI portal