gcd): add lemmas on gcd with negatives (#16922)

Commit

3 years ago

feat(data/int/gcd): add lemmas on gcd with negatives (#16922) some simp lemmas for dealing with gcds of negated integers

Author

alainchmt

Parents