Mathlib v3 is deprecated. Go to Mathlib v4

Theorem imo.int.add_eq_add_of_nat_abs_eq_of_nat_abs_eq

Modification history