Mathlib v3 is deprecated. Go to Mathlib v4

Theorem prime.div_or_div

Modification history

2021-08-09 13:47
src/algebra/associated.lean
chore(algebra/associated): rename div_or_div to dvd_or_dvd (#8589)
Deleted prime.div_or_divView on Github →
2020-08-11 09:57
src/algebra/associated.lean
refactor(algebra/divisibility, associated): generalize instances in divisibility, associated (#3714) …
Modified prime.div_or_divView on Github →
2019-08-15 20:26
src/algebra/associated.lean
feat(*): lemmas needed for two projects (#1294) …
Added prime.div_or_divView on Github →