diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-12-06 16:37:22 -0600 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-12-06 16:37:22 -0600 |
| commit | a643b7e119c5f086c67205072afaed3a1da2252e (patch) | |
| tree | aa8ba3c1f9ae2056695b14558a2cbd01a6a63d8e /FinMerge/Util.agda | |
| parent | e62bc618513cd9daa9f5cbcc98daa3a4fbf9fb99 (diff) | |
Add commutative monoid conversions
Diffstat (limited to 'FinMerge/Util.agda')
0 files changed, 0 insertions, 0 deletions