diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-08-05 01:24:33 -0500 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-08-05 01:24:33 -0500 |
| commit | 276418d0b0c1cd865c473a77db9c6e42ea9d02dc (patch) | |
| tree | 70f87befe566be59e290207b4a294873819ca602 /Object/Monoid/Commutative.agda | |
| parent | e171bf8948f8655eccdf27ba4824bdb28d497076 (diff) | |
Finish merge and split symmetric monoidal functors
Diffstat (limited to 'Object/Monoid/Commutative.agda')
0 files changed, 0 insertions, 0 deletions