Formula:10173

From MaRDI portal