diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-04-27 15:38:36 -0500 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-04-27 15:38:36 -0500 |
| commit | 1d40f953de7bdfbaff350a953c60b2c5951f42a2 (patch) | |
| tree | 54037c2df062e43d54eb34682b32c5157c21a0cc /Functor/Instance/Monoidalize.agda | |
| parent | fe8405495e0adddff98c8ae727e1906a09efefb3 (diff) | |
Add bounded distributive latticesmain
Diffstat (limited to 'Functor/Instance/Monoidalize.agda')
0 files changed, 0 insertions, 0 deletions