mathlib3
feat(category_theory): unbundled functors and lax monoidal functors
#2193
Merged
Merged
feat(category_theory): unbundled functors and lax monoidal functors #2193
mergify
merged
5 commits into
master
from
functorial_2
feat(category_theory): unbundled functors and lax monoidal functors
ab21f562
jcommelin
commented
on 2020-03-19
doc string
fa2d6e57
jcommelin
approved these changes
on 2020-03-20
![mergify[bot]](https://avatars.githubusercontent.com/in/10562?v=4&s=60)
Merge branch 'master' into functorial_2
00a0a371
Merge branch 'master' into functorial_2
a432fd6d
Merge branch 'master' into functorial_2
411226a7
Login to write a write a comment.
Login via GitHub