Formula:5637

From MaRDI portal