Formula:10588

From MaRDI portal