diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-01-04 13:00:42 -0600 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-01-04 13:00:42 -0600 |
| commit | a2225e97e0bb4de0d9ed9516e1a5515edb140e48 (patch) | |
| tree | 5de51121c7e2b16ffdc599bbe60da16d17664c34 /NaturalTransformation/Monoidal/Construction/MonoidValued.agda | |
| parent | bcee74f82477a083fd7c62ba1701554ae37a0aaf (diff) | |
Add monoidal monotone maps between preorders
Diffstat (limited to 'NaturalTransformation/Monoidal/Construction/MonoidValued.agda')
0 files changed, 0 insertions, 0 deletions