Theorem EuclideanDomain.isCoprime_of_dvd

Modification history

2023-07-29 10:38
Mathlib/RingTheory/EuclideanDomain.lean
fix: make EuclideanDomain.gcdMonoid computable (#6076) …
Modified EuclideanDomain.isCoprime_of_dvdView on Github →
2023-03-21 13:27
Mathlib/RingTheory/EuclideanDomain.lean
feat: port RingTheory.EuclideanDomain (#3017)
Added EuclideanDomain.isCoprime_of_dvdView on Github →