Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-09-26 08:35 83470aff

View on Github →

feat(algebra/order/ring): add odd_neg, odd_abs, generalize dvd/abs lemmas (#9362)

Estimated changes

added theorem odd_abs
added theorem odd.neg
added theorem odd_neg