diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-10-15 21:11:39 -0500 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-10-15 21:11:39 -0500 |
| commit | fe6496cc72b9b6371937148b7822f2e847fc1b9a (patch) | |
| tree | dcb05734068dae075425c70b0b35762a546fd9bf /Coeq.agda | |
| parent | 970edad9a35db978d66e648bf5d4379787197eb0 (diff) | |
Add symmetric monoidal versions
Diffstat (limited to 'Coeq.agda')
0 files changed, 0 insertions, 0 deletions