aboutsummaryrefslogtreecommitdiff
path: root/Data/Fin/Preimage.agda
AgeCommit message (Collapse)Author
2025-10-22Add symmetric monoidal structure to Push functorJacques Comeaux
2025-10-10Add Push and Pull functorsJacques Comeaux