mathlib3
83090976 - Merge branch 'master' into monoidal-categories

Commit

6 years ago

Merge branch 'master' into monoidal-categories

References

#1002 - feat(category_theory/monoidal): monoidal categories, monoidal functors

Author

kim-em

kim-em

Parents

Loading