Mathlib v3 is deprecated. Go to Mathlib v4

Theorem ne_zero.not_dvd_char

Modification history

2022-01-14 10:07
src/algebra/ne_zero.lean
feat(algebra/ne_zero): `pos_of_ne_zero_coe` (#11437)
Deleted ne_zero.not_dvd_charView on Github →
2022-01-11 13:55
src/algebra/ne_zero.lean
feat(ring_theory/polynomial/cyclotomic/basic): add lemmas (#11266) …
Added ne_zero.not_dvd_charView on Github →