mathlib

0013240b - chore(algebra/order/absolute_value): remove unneeded imports (#18978)

chore(algebra/order/absolute_value): remove unneeded imports (#18978) This is just a CI verification backport of https://github.com/leanprover-community/mathlib4/pull/3869. Feel free to either close or merge! Co-authored-by: Scott Morrison <scott.morrison@anu.edu.au>