diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-03-08 19:03:26 -0500 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-03-08 19:03:26 -0500 |
| commit | 8af247cd8682f98ac1aebe235abca2cbda2342b9 (patch) | |
| tree | 6184b8c1d34f591c69a478075319296774610be4 /DecorationFunctor/Trivial.agda | |
| parent | 38e5da80b651a073b49505a92d71b15ca11e1b35 (diff) | |
Add monoidal category of finite relations
Diffstat (limited to 'DecorationFunctor/Trivial.agda')
0 files changed, 0 insertions, 0 deletions