diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-03-14 17:39:03 -0500 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-03-14 17:39:03 -0500 |
| commit | 66bdd7123027650ada325a3a2e3641b0a0ce375c (patch) | |
| tree | 85404d3cfe87d5562af31d77d3dfab7c27a932d2 /Category/Diagram/Cospan.agda | |
| parent | 46f36b99c92225b374900457e02d89e9ffcffb52 (diff) | |
Add wiring diagram equalitiesmain
Diffstat (limited to 'Category/Diagram/Cospan.agda')
0 files changed, 0 insertions, 0 deletions