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
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