aboutsummaryrefslogtreecommitdiff
path: root/Functor/Monoidal/Instance/Nat
AgeCommit message (Expand)Author
9 daysAdd symmetric monoidal structure to Push functorJacques Comeaux
14 daysAdd Preimage symmetric monoidal functorJacques Comeaux