Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-07-04 19:49 569bcf99

View on Github →

feat(algebra/ordered_group): eq_of_abs_non_pos (#1185)

  • feat(algebra/ordered_group): decidable_linear_ordered_comm_group.eq_of_abs_non_pos
  • fix(algebra/ordered_group): new line and name

Estimated changes