Formula:4586

From MaRDI portal