diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-12-04 15:35:11 -0600 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-12-04 15:35:11 -0600 |
| commit | be9bb2ed6e1fb7505ccbda3787c59f5f1a378006 (patch) | |
| tree | c3c90d936b63a85243ba4f70aa7e8ff0b8216ee0 /Category/Instance/Setoids/SymmetricMonoidal.agda | |
| parent | 9fe4aadad5a046aaf44a789bfddefc10a0afaeef (diff) | |
Add opaqueness to cospans and decorated cospans
Diffstat (limited to 'Category/Instance/Setoids/SymmetricMonoidal.agda')
0 files changed, 0 insertions, 0 deletions