feat(algebra/order_functions): abs_nonpos_iff (#1299)
feat(algebra/order_functions): abs_nonpos_iff (#1299)

* feat(algebra/ordered_group): abs_nonpos_iff

* Update ordered_group.lean

* move to order_functions

leanprover-community/mathlib,leanprover-community/mathlib