aboutsummaryrefslogtreecommitdiff
path: root/Functor/Monoidal/Braided/Strong
AgeCommit message (Expand)Author
2025-10-28Add symmetric monoidal structure to Pull and SystemJacques Comeaux