diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-08-03 19:08:47 -0500 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-08-03 19:08:47 -0500 |
| commit | 514bb6e3e235f37c4e49bd703ad02a5ab31e8c0a (patch) | |
| tree | ca0b19b2dfda49d0e2ac6c1aa0b87cabca89737e /Category/Construction/CMonoids.agda | |
| parent | 014e65626daa7bbd0375e5b9ad9bf0ad8addabdc (diff) | |
Show category of maps is monoidal
Diffstat (limited to 'Category/Construction/CMonoids.agda')
0 files changed, 0 insertions, 0 deletions