Theorem EuclideanDomain.dvd_or_coprime

Modification history

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