diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-08-01 19:21:52 -0500 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-08-01 19:21:52 -0500 |
| commit | 014e65626daa7bbd0375e5b9ad9bf0ad8addabdc (patch) | |
| tree | 5336767a650cc07b101156de082eddd3ed8468af /Category/Construction/SymmetricMonoidalFunctors.agda | |
| parent | f70dd41bf5a519ba099ebd6d9a425a022c1a111f (diff) | |
Upgrade Push + Pull to symmetric monoidal functorsmain
Diffstat (limited to 'Category/Construction/SymmetricMonoidalFunctors.agda')
0 files changed, 0 insertions, 0 deletions