diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-12-13 20:37:32 -0600 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-12-13 20:37:32 -0600 |
| commit | 8e40a6e427aea3cdfeda038c38942e9d66c502e3 (patch) | |
| tree | 0c5d9986f7401ab074b966830e37731db164bd5f /Category/Instance/One/Properties.agda | |
| parent | e9d6926c08d73e8d1af636c5daeac30d65d9bd43 (diff) | |
Add Monoidalize functor
Diffstat (limited to 'Category/Instance/One/Properties.agda')
0 files changed, 0 insertions, 0 deletions