Formula:10006

From MaRDI portal