Mathlib v3 is deprecated. Go to Mathlib v4

Theorem int.add_neg_one

Modification history

2021-02-24 03:38

src/data/int/basic.lean

fix(data/int/basic,category_theory/equivalence): use neg not minus in lemma names (#6384)

Added int.add_neg_one View on Github →