cycle construction for symmetric monoidal categories#2134

Alizter wants to merge 1 commit intoHoTT:masterHoTT/Coq-HoTT:masterfrom

Alizter:ps/rr/cycle_construction_for_symmetric_monoidal_categoriesAlizter/HoTT:ps/rr/cycle_construction_for_symmetric_monoidal_categoriesCopy head branch name to clipboard