mathlib
764e878e - feat(algebra/ordered_group): `-abs a ≤ a` (#7839)

Commit

4 years ago

feat(algebra/ordered_group): `-abs a ≤ a` (#7839)

Author

benjamindavidson

benjamindavidson

Parents

Loading