Theorem IsCoprime.mul_add_right_right_iff

Modification history

2026-05-04 16:33
Mathlib/RingTheory/Coprime/Basic.lean
feat: subtraction and ±1 lemmas for `IsCoprime, IsRelPrime` (#36948) …
Modified IsCoprime.mul_add_right_right_iffView on Github →
2022-12-14 13:46
Mathlib/RingTheory/Coprime/Basic.lean
feat port: RingTheory.Coprime.Basic (#899) …
Added IsCoprime.mul_add_right_right_iffView on Github →