gcd): move nat.coprime.mul_add_mul_ne_mul (#13022)

Commit

3 years ago

chore(data/nat/gcd): move nat.coprime.mul_add_mul_ne_mul (#13022) I'm not sure if it will be useful elsewhere, but this seems like a better place for it anyway.

Author

Ruben-VandeVelde

Parents

e1eb0bd9

mathlib3 ef7298d4 - chore(data/nat/gcd): move nat.coprime.mul_add_mul_ne_mul (#13022)

mathlib3
ef7298d4 - chore(data/nat/gcd): move nat.coprime.mul_add_mul_ne_mul (#13022)