Commit 2025-12-07 12:35 412e7b8d

View on Github →

feat(RingTheory/Coprime/Lemmas): Add Int.isCoprime_gcdA/B (#32369) Adds Int.isCoprime_gcdA and Int.isCoprime_gcdB

Estimated changes

added theorem Int.isCoprime_gcdA
added theorem Int.isCoprime_gcdB