Mathlib v3 is deprecated. Go to Mathlib v4

Theorem lattice_ordered_comm_group.mabs_mabs

Modification history

2022-03-14 05:19
src/algebra/order/lattice_group.lean
docs(algebra/*): Add docstrings to additive lemmas (#12578) …
Added lattice_ordered_comm_group.mabs_mabsView on Github →