diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-01-06 12:25:10 -0600 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-01-06 12:25:10 -0600 |
| commit | aecb9a5862a9082909c902307974e7ca85463bb9 (patch) | |
| tree | 0b81c7b2cb16b71a2287600f5bfccda8d6d30ccf /Category/Instance/SymMonCat.agda | |
| parent | d0a594ffe687970bc6fc68870e41b10d6c3c3494 (diff) | |
Add sym. mon. cat to sym. mon. preorder functor
Diffstat (limited to 'Category/Instance/SymMonCat.agda')
0 files changed, 0 insertions, 0 deletions