mathlib

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