diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-03-24 19:39:44 -0500 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-03-24 19:39:44 -0500 |
| commit | 866dd6d8510bb5dd56966a99e73b1681763bbfc5 (patch) | |
| tree | af795206b1479833fdb5760f02da3ead0dc28dcb /Functor/Free/Instance/InducedMonoid.agda | |
| parent | 2347246f724af4ba784aef0b758643ad61b8754e (diff) | |
Add monoidal structure to category of posets
Diffstat (limited to 'Functor/Free/Instance/InducedMonoid.agda')
0 files changed, 0 insertions, 0 deletions