Theorem Irreducible.coprime_iff_not_dvd'

Modification history

2024-02-12 20:59
Mathlib/Algebra/Associated.lean
feat: introduce `IsRelPrime` and `DecompositionMonoid` and refactor (#10327) …
Deleted Irreducible.coprime_iff_not_dvd'View on Github →
2024-02-05 13:02
Mathlib/Algebra/Associated.lean
feat: add lemma `exists_squarefree_dvd_pow_of_ne_zero` (#10241)
Added Irreducible.coprime_iff_not_dvd'View on Github →