diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-01-10 22:08:08 -0600 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-01-10 22:08:08 -0600 |
| commit | 05a7c242d961851ee0085359a44c989489beacd0 (patch) | |
| tree | 67b8787c6e41d2e1011dbb0e5de6bd1edc577c4f /Functor/Monoidal/Strong/Properties.agda | |
| parent | 3e0565657f896d3064e68b03d30c1a748a8bed25 (diff) | |
Define Sys functor from Nat to SMCs
Diffstat (limited to 'Functor/Monoidal/Strong/Properties.agda')
0 files changed, 0 insertions, 0 deletions