Skip to content

symmetric monoidal categories satisfy the other hexagon#2191

Open
Alizter wants to merge 1 commit intoHoTT:masterfrom Alizter:ps/rr/symmetric_monoidal_categories_satisfy_the_other_hexagon
+51-25

Commits

Commits on Jan 9, 2025