Formula:4587

From MaRDI portal