diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-07-30 15:44:41 -0700 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-07-30 15:44:41 -0700 |
| commit | 776ec567fd788ddef1f7617b7a3bfeb9cf46c28d (patch) | |
| tree | 005f581edfd0a96c98a296ff55b7329f134027ce /Preorder/Monoidal.agda | |
| parent | 1528b2a49c0f006bdeff25a46f8f7ab6c23c73fd (diff) | |
Show category of directed wiring diagrams is monoidal
Diffstat (limited to 'Preorder/Monoidal.agda')
0 files changed, 0 insertions, 0 deletions