diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-01-04 11:07:49 -0600 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-01-04 11:07:49 -0600 |
| commit | 19d3dacc566eff1cc50c1fda7eaf7655406e89e8 (patch) | |
| tree | 6b60bfd385295026d10c8b9213453e48e5b0804e /Category/Instance/Cospans.agda | |
| parent | 1a84efec2ba0769035144782e1e96a10e0d5a7b2 (diff) | |
Add category of preorders
Diffstat (limited to 'Category/Instance/Cospans.agda')
0 files changed, 0 insertions, 0 deletions