aboutsummaryrefslogtreecommitdiff
path: root/Category/Cartesian/Instance
diff options
context:
space:
mode:
authorJacques Comeaux <jacquesrcomeaux@protonmail.com>2026-07-09 10:46:34 -0700
committerJacques Comeaux <jacquesrcomeaux@protonmail.com>2026-07-09 10:46:34 -0700
commitf49ea3407d8459cdf29d14390644d14a9702d032 (patch)
treeef2b8a24f5e9226e69dd49f5e687d34ae6d8776c /Category/Cartesian/Instance
parent50b9117ebac5f16db7b2ddc59c52a28129e0a618 (diff)
Add semimodules to commutative monoids functor
Diffstat (limited to 'Category/Cartesian/Instance')
0 files changed, 0 insertions, 0 deletions