Theorem IsBezout.associated_gcd_gcd

Modification history

2026-01-20 16:34
Mathlib/RingTheory/PrincipalIdealDomain.lean
chore(Algebra): deprecate `CancelMonoidWithZero` (#33851) …
Modified IsBezout.associated_gcd_gcdView on Github →
2024-05-16 08:10
Mathlib/RingTheory/PrincipalIdealDomain.lean
feat: IsBezout.associated_gcd_gcd (#12941)
Added IsBezout.associated_gcd_gcdView on Github →