Formula:5584

From MaRDI portal