mathlib3
feat(category/equiv_functor): type-level functoriality w.r.t. equiv
#2255
Merged
Merged
feat(category/equiv_functor): type-level functoriality w.r.t. equiv #2255
mergify
merged
14 commits into
master
from
equiv_functor
feat(data/equiv/functor): bifunctor.map_equiv
af830fde
start
bf3e99d5
Merge branch 'bifunctor.map_equiv' into equiv_functor
5638f813
sketch of equiv_functor
28c216f2
update
248bf481
removing unimpressive inhabited example; easier later
56618162
merge
2b7a0c35
omit
ecb03ce8
kim-em
commented
on 2020-03-27
revert unnecessary change
452c3e9b
fix doc-string
30c3a96d
Merge branch 'equiv_functor' of github.com:leanprover-community/mathl…
9c52fefc
jcommelin
commented
on 2020-03-28
fix names
84e42a35
finish fix
14e19889
jcommelin
approved these changes
on 2020-03-28
![mergify[bot]](https://avatars.githubusercontent.com/in/10562?v=4&s=60)
Merge branch 'master' into equiv_functor
c387c0c0
Login to write a write a comment.
Login via GitHub