Formula:10123

From MaRDI portal