Formula:5585

From MaRDI portal