Skip to content

cycle construction for symmetric monoidal categories#2134

Open
Alizter wants to merge 3 commits intoHoTT:masterfrom Alizter:ps/rr/cycle_construction_for_symmetric_monoidal_categories
+208-1

Commits

Commits on Nov 7, 2024

Commits on Dec 12, 2024