Make DisplayedCartesianMonoidalCategoriesWhiskered fit the style #30
Open
nmvdw wants to merge 2 commits intormatthes:issue1576forbifunctorsfrom
Open
Make DisplayedCartesianMonoidalCategoriesWhiskered fit the style #30nmvdw wants to merge 2 commits intormatthes:issue1576forbifunctorsfrom
nmvdw wants to merge 2 commits intormatthes:issue1576forbifunctorsfrom
Commits
Commits on Oct 27, 2022
- committed
- committed
