Formula:5356

From MaRDI portal