diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-02-08 16:28:12 -0600 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-02-08 16:28:12 -0600 |
| commit | df517e27a5a6d1740e7d982f3c01205d27aff347 (patch) | |
| tree | 013732982c6933bbc04f94cf501b015af4cd191b /Category/Instance/Setoids | |
| parent | 0ce708186bf9b94422ce79bdba542abc29c000b1 (diff) | |
Define tensor product of decorated cospansmain
Diffstat (limited to 'Category/Instance/Setoids')
0 files changed, 0 insertions, 0 deletions