diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2024-11-18 09:13:29 -0600 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2024-11-18 09:13:29 -0600 |
| commit | 2397ab56c95f1ebb161b578caea2ba07b09248ea (patch) | |
| tree | 86584dd1e1a66861ef34b6d5a3d4646ea52f9d41 /Category/Monoidal/Coherence.agda | |
| parent | 69670cde145b18f5aa2a685f0dff8076e75542da (diff) | |
Improve naming
Diffstat (limited to 'Category/Monoidal/Coherence.agda')
0 files changed, 0 insertions, 0 deletions