diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-03-29 16:59:17 -0500 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-03-29 16:59:17 -0500 |
| commit | 0000b8aee0c002bfdf0f0a310062a80c2c8ea94d (patch) | |
| tree | 7be553e3c99e4894b7ec0f97d12e1f6f413abfb3 /Data/Matrix/Monoid.agda | |
| parent | 71cdd278bb008bb4375e8d5b2b6b00e3d5bf393a (diff) | |
Add bisemimodule of vectors over a rig
Diffstat (limited to 'Data/Matrix/Monoid.agda')
0 files changed, 0 insertions, 0 deletions