feat(CategoryTheory): the localized category is monoidal#12728
Open
joelriou wants to merge 41 commits intomasterfrom localization-monoidal
+801
Commits
Commits on Mar 26, 2024
Commits on Apr 12, 2024
Commits on May 7, 2024
Commits on May 22, 2024
Commits on Jun 14, 2024
Commits on Aug 12, 2024
- committed
- committed
Commits on Aug 13, 2024
- committed
- committed
- committed
- committed
- committed
Commits on Aug 15, 2024
- committed
- committed
- committed
Commits on Aug 16, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&size=32){kind=avatar}