Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-09-19 11:19 ad9309f7

View on Github →

feat(data/polynomial): C_inj and dvd_iff_is_root (#359)

Estimated changes

added theorem polynomial.C_inj