diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-03-25 08:53:18 -0500 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-03-25 08:53:18 -0500 |
| commit | 11e8c93b5426ddfd75f1c9c495e4da0defbc08a6 (patch) | |
| tree | 5259224ded58d16a66f47fc3a62a9a1e142fc8eb /Morphism/SplitIdempotent.agda | |
| parent | e6de73dd1d40524bc9198096415e99fb45d4432a (diff) | |
Add looped wiring diagrams and merge functor
Diffstat (limited to 'Morphism/SplitIdempotent.agda')
0 files changed, 0 insertions, 0 deletions