Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-05-07 21:02 ed453c72

View on Github →

chore(data/polynomial): remove unused argument (#2626)

Estimated changes

modified theorem polynomial.map_injective