diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-03-25 07:25:44 -0500 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-03-25 07:25:44 -0500 |
| commit | e6de73dd1d40524bc9198096415e99fb45d4432a (patch) | |
| tree | 0d0c64ff63f0797296f244bc4a2dc04244266023 /SplitIdempotents/Monoids.agda | |
| parent | 031be97ca0efaaf5db4a70e537dc1492ef687df0 (diff) | |
Add pull functor from relations to wiring diagrams
Diffstat (limited to 'SplitIdempotents/Monoids.agda')
0 files changed, 0 insertions, 0 deletions