Formula:10240

From MaRDI portal