Formula:5501

From MaRDI portal