diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-11-05 01:02:33 -0600 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-11-05 01:02:33 -0600 |
| commit | 821832147fb2b3b06ebda7e991ad880eaba15bcc (patch) | |
| tree | bde841cc6c24b863f1f2a20bf39e91feb86acd89 /FinMerge.agda | |
| parent | e70481cf98eeb00154536e364dec58e79b034cc5 (diff) | |
Add category of commutative monoids
Diffstat (limited to 'FinMerge.agda')
0 files changed, 0 insertions, 0 deletions