Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-07-16 19:44 6495c205

View on Github →

feat(algebra/order_functions): abs_eq

Estimated changes

added theorem abs_eq