Mathlib v3 is deprecated. Go to Mathlib v4

Theorem int.sign_add_eq_of_sign_eq

Modification history

2023-03-27 13:45
src/data/int/order/basic.lean
feat(archive/imo/imo2006_q5): IMO 2006 Q5 (#15613) …
Added int.sign_add_eq_of_sign_eqView on Github →