Theorem Imo2006Q5.Int.add_eq_add_of_natAbs_eq_of_natAbs_eq

Modification history

2023-06-17 11:16
Archive/Imo/Imo2006Q5.lean
feat: port Archive.Imo.Imo2006Q5 (#5178)
Added Imo2006Q5.Int.add_eq_add_of_natAbs_eq_of_natAbs_eqView on Github →