diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-07-09 10:11:28 -0700 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-07-09 10:11:28 -0700 |
| commit | 310db86b3ddf5ac50586cae486f9684052be04c9 (patch) | |
| tree | ce388072d7b68d588216c43ccb15ff0203d73852 /Adjoint/Instance | |
| parent | 1068ed08bc01c8f206be21d1af9ebdb1640c7c89 (diff) | |
Add category of commutative monoids
Diffstat (limited to 'Adjoint/Instance')
0 files changed, 0 insertions, 0 deletions