diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-01-06 10:20:03 -0600 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-01-06 10:20:03 -0600 |
| commit | 2a2eeeedbe4d7208d511580f7fed0e30d7f16076 (patch) | |
| tree | e4a802387735e1c46a9b05cf5d0b571e28728371 /NaturalTransformation/Instance/EmptyMultiset.agda | |
| parent | 1c0a486856d80ad7d8cb6174c49ad990d5f36088 (diff) | |
Add functors from categories to preorders to setoids
Diffstat (limited to 'NaturalTransformation/Instance/EmptyMultiset.agda')
0 files changed, 0 insertions, 0 deletions