Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-03-02 17:42 182b2a3f

View on Github →

fix properly

Estimated changes

added theorem int.nat_abs_mul_self'