diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-07-13 20:43:51 -0700 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-07-13 20:43:51 -0700 |
| commit | 08982c82069c66f768c17979b7aa8d0a62d65cdb (patch) | |
| tree | 3efd126ae25fd85b29f3a3a9abf80bc9fbc78671 /Data/Vector/Semimodule.agda | |
| parent | 9e2f3f3bb9916dca8d4ad4b162ce5b089c26b82e (diff) | |
Add cartesian structure to category of semimodules
Diffstat (limited to 'Data/Vector/Semimodule.agda')
0 files changed, 0 insertions, 0 deletions