Formula:5801

From MaRDI portal