aboutsummaryrefslogtreecommitdiff
path: root/Functor/Instance/Nat/System
AgeCommit message (Expand)Author
2026-07-09Generalize systems to (co)commutative (co)monoidsJacques Comeaux