diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-01-04 15:53:23 -0600 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-01-04 15:53:23 -0600 |
| commit | 3d7c5574124d3384ff942489feaa093618c309b9 (patch) | |
| tree | d39033498bb1b84ff2f516a29a78bd1dd1ee151a /Object/Monoid/Commutative.agda | |
| parent | a2225e97e0bb4de0d9ed9516e1a5515edb140e48 (diff) | |
Add category of monoidal preorders
Diffstat (limited to 'Object/Monoid/Commutative.agda')
0 files changed, 0 insertions, 0 deletions