diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-07-12 09:53:57 -0700 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-07-12 09:53:57 -0700 |
| commit | c183a87165f9934864e9060d817dbf94b377740e (patch) | |
| tree | 8ca0d308f2dcebb195aaf423b628e0b944b107de /Data/Vector/Core.agda | |
| parent | 5c8dcf6705bc1c285c288ffaff48e3aaabaf993f (diff) | |
Show category of commutative conoids is cartesian
Diffstat (limited to 'Data/Vector/Core.agda')
0 files changed, 0 insertions, 0 deletions