diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-10-15 14:35:40 -0500 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-10-15 14:35:40 -0500 |
| commit | 5f18ab3cac36f29e612886eca114ff3e07c26b4e (patch) | |
| tree | 5e270a5ef7885e2a57a0b7cead7c7726ad2ead59 /Functor/Cartesian/Instance/Underlying/SymmetricMonoidal | |
| parent | 2bb15e8f327bdc22e306ef2c545d1b520a4c5b76 (diff) | |
Use new if-then-else property
Diffstat (limited to 'Functor/Cartesian/Instance/Underlying/SymmetricMonoidal')
0 files changed, 0 insertions, 0 deletions