Mathlib v3 is deprecated. Go to Mathlib v4

Theorem irreducible.not_dvd_one

Modification history

2022-03-15 06:38
src/algebra/associated.lean
feat(algebra/associated): add irreducible.not_dvd_one (#12686)
Added irreducible.not_dvd_oneView on Github →