Formula:10418

From MaRDI portal