equivalence): use neg not minus in lemma names (#6384)

Commit

4 years ago

fix(data/int/basic,category_theory/equivalence): use neg not minus in lemma names (#6384) Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

Author

eric-wieser

Parents