Commit 2025-01-25 06:17 698c109b

View on Github →

chore: deprecate gcd_eq_one_iff_coprime (#20976) https://leanprover.zulipchat.com/#narrow/channel/287929-mathlib4/topic/.60gcd_eq_one_iff_coprime.60.20and.20.60isCoprime_iff_gcd_eq_one.60

Estimated changes