diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-01-11 16:28:27 -0600 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-01-11 16:28:27 -0600 |
| commit | c65be5a260a44f35e26b771026153643ad2464b3 (patch) | |
| tree | 9d015da44887df89a4c55c9c25b360408bcac813 /Preorder/Primitive/MonotoneMap/Monoidal/Strong.agda | |
| parent | 05a7c242d961851ee0085359a44c989489beacd0 (diff) | |
Construct SM nat trans from Circ to Sysmain
Diffstat (limited to 'Preorder/Primitive/MonotoneMap/Monoidal/Strong.agda')
0 files changed, 0 insertions, 0 deletions