diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-08-05 15:39:09 -0500 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-08-05 15:39:09 -0500 |
| commit | 53e6ee67c618b37c73cf7668b4b3f71ec9b17949 (patch) | |
| tree | a9bb56d52b5e8336b75d4b1a71c172a1b65e51d1 /NaturalTransformation/Instance/CircuitSemantics.agda | |
| parent | 276418d0b0c1cd865c473a77db9c6e42ea9d02dc (diff) | |
Show semimodules forgetful functor is cartesian
Diffstat (limited to 'NaturalTransformation/Instance/CircuitSemantics.agda')
0 files changed, 0 insertions, 0 deletions