diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-07-09 10:20:43 -0700 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-07-09 10:20:43 -0700 |
| commit | 6a0549f4c5a93a1817cd311440de156c3283ba27 (patch) | |
| tree | 9d0212127efa4b6078a366548db047090f5e60d7 /Category/Instance/FinitelyCocompletes.agda | |
| parent | 310db86b3ddf5ac50586cae486f9684052be04c9 (diff) | |
Fix equivalence of rig homomorphisms
Diffstat (limited to 'Category/Instance/FinitelyCocompletes.agda')
0 files changed, 0 insertions, 0 deletions