feat(CategoryTheory/Monoidal/DayConvolution): left and right unitors for Day convolution#24993
Open
robin-carlier wants to merge 8 commits intomasterfrom
Commits
Commits on May 18, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
