Theorem exists_squarefree_dvd_pow_of_ne_zero

Modification history

2024-02-12 20:59
Mathlib/Algebra/Squarefree/Basic.lean
feat: introduce `IsRelPrime` and `DecompositionMonoid` and refactor (#10327) …
Modified exists_squarefree_dvd_pow_of_ne_zeroView on Github →
2024-02-05 13:02
Mathlib/Algebra/Squarefree/UniqueFactorizationDomain.lean
feat: add lemma `exists_squarefree_dvd_pow_of_ne_zero` (#10241)
Added exists_squarefree_dvd_pow_of_ne_zeroView on Github →