Formula:5586

From MaRDI portal