diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-01-04 12:26:50 -0600 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-01-04 12:26:50 -0600 |
| commit | bcee74f82477a083fd7c62ba1701554ae37a0aaf (patch) | |
| tree | f496d19c29481a797dd85a42fea0c26c405f6ff9 /Functor/Instance/Nat/System.agda | |
| parent | 19d3dacc566eff1cc50c1fda7eaf7655406e89e8 (diff) | |
Add (weak) monoidal and symmetric monoidal preorders
Diffstat (limited to 'Functor/Instance/Nat/System.agda')
0 files changed, 0 insertions, 0 deletions