gcd): coprime add mul lemmas (#10588)

Commit

4 years ago

feat(data/nat/gcd): coprime add mul lemmas (#10588) Adds `coprime m (n + k * m) ↔ coprime m n` for nats, (and permutations thereof).

Author

BoltonBailey

Parents