aboutsummaryrefslogtreecommitdiff
path: root/Functor/Monoidal/Strong
AgeCommit message (Expand)Author
2025-10-26Add inverted associativity for strong monoidal functorsJacques Comeaux