Formula:5556

From MaRDI portal