aboutsummaryrefslogtreecommitdiff
path: root/Functor/Monoidal/Strong
AgeCommit message (Collapse)Author
3 daysAdd inverted unitary rules for strong monoidal functorsJacques Comeaux
4 daysAdd inverted associativity for strong monoidal functorsJacques Comeaux