mathlib3

76be8c73 - chore(algebra/order/absolute_value): superficial tidying (#16190)

chore(algebra/order/absolute_value): superficial tidying (#16190) This weakens the requirements of many lemmas in this file, preparing for further changes. `is_absolute_value` is unbundled, which is an approach that is currently not favoured in mathlib. Co-authored-by: Eric Rodriguez <37984851+ericrbg@users.noreply.github.com>