mathlib3

1b098c06 - feat(algebra/ordered_group, algebra/ordered_ring): add some lemmas about abs (#7612)