Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.map_ne_zero

Modification history

2020-10-20 05:38
src/data/polynomial/field_division.lean
chore(data/polynomial): slightly generalize `map_eq_zero` and `map_ne_zero` (#4708) …
Modified polynomial.map_ne_zeroView on Github →
2020-08-06 16:42
src/data/polynomial/field_division.lean
feat(field_theory/splitting_field): splitting field unique (#3654) …
Added polynomial.map_ne_zeroView on Github →