Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-02-24 03:38 4a391c9d

View on Github →

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

Estimated changes

Modified src/algebra/group_power/lemmas.lean

Modified src/category_theory/equivalence.lean

deleted theorem category_theory.equivalence.pow_minus_one

added theorem category_theory.equivalence.pow_neg_one

Modified src/data/int/basic.lean

deleted theorem int.add_minus_one

added theorem int.add_neg_one

Modified src/data/num/lemmas.lean

Modified src/group_theory/free_group.lean