Commit 2024-05-07 12:53 661ebd0d

View on Github →

feat: add gcd_neg, neg_gcd (#12593)

Estimated changes

added theorem Associated.neg_left
added theorem Associated.neg_neg
added theorem Associated.neg_right
deleted theorem Associated.gcd
deleted theorem Associated.lcm
added theorem gcd_neg'
added theorem gcd_neg
added theorem neg_gcd'
added theorem neg_gcd