feat(category_theory/opposites): add nat_iso.unop #2132
mergify
merged
4 commits into
leanprover-community:master
from
thjread:iso_unop
Add nat_iso.unop
7766f8ca
kim-em
approved these changes
on 2020-03-11
bryangingechen
commented
on 2020-03-12
Add docstrings to nat_iso.op, nat_iso.unop
764fb735
![mergify[bot]](https://avatars.githubusercontent.com/in/10562?v=4&s=60)
Merge branch 'master' into iso_unop
1aba966a
robertylewis
changed the title
Merge branch 'master' into iso_unop
6a42bb24
Reviewers
Assignees
No one assigned
Labels
ready-to-merge
Milestone
No milestone
Login to write a write a comment.
Login via GitHub