Skip to content

Symmetric Monoidal Categories#1915

Merged
Alizter merged 1 commit intoHoTT:masterfrom Alizter:wip-symmetric-monoidalApr 24, 2024

Commits

Commits on Apr 24, 2024