diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-01-07 10:56:40 -0600 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-01-07 10:56:40 -0600 |
| commit | 4326ca8d5b9386a480303418fb3e57b9054213f0 (patch) | |
| tree | eeb7a8a5a5b2319bf4c0a43b82f652c5108a871c /Category/Monoidal/Coherence.agda | |
| parent | b2c2426959715260f57153b91ce11d12c7fdb298 (diff) | |
Add monoidal preorders to monoids functor
Diffstat (limited to 'Category/Monoidal/Coherence.agda')
0 files changed, 0 insertions, 0 deletions