aboutsummaryrefslogtreecommitdiff
path: root/Functor/Instance/Nat/Preimage.agda
AgeCommit message (Collapse)Author
2 daysSplit System into smaller modulesJacques Comeaux
2025-10-16Add Preimage symmetric monoidal functorJacques Comeaux