Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-11-29 17:49 be48f958

View on Github →

refactor(algebra.order.group): Convert abs_eq_sup_neg to multiplicative form (#10505) refactor(algebra.order.group): Convert abs_eq_sup_neg to multiplicative form

Estimated changes