diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-01-10 22:04:30 -0600 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-01-10 22:04:30 -0600 |
| commit | 3e0565657f896d3064e68b03d30c1a748a8bed25 (patch) | |
| tree | 33e4770a3fe674a875250333f401c2bf99734618 /NaturalTransformation/Instance/EmptyMultiset.agda | |
| parent | fc941b6d2e2293d9d9e096519eac708ae3b0aa0a (diff) | |
Extend monoidalize functor to commutative monoids
Diffstat (limited to 'NaturalTransformation/Instance/EmptyMultiset.agda')
0 files changed, 0 insertions, 0 deletions