diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-11-05 01:58:37 -0600 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-11-05 01:58:37 -0600 |
| commit | c4e5d5ee327e917dabb86a7de70bafaffcfa6d6f (patch) | |
| tree | 0567c2a6eae9bebe922bb1bf944712d3459d4c80 /Util.agda | |
| parent | 821832147fb2b3b06ebda7e991ad880eaba15bcc (diff) | |
Add multiset-of construction
Diffstat (limited to 'Util.agda')
0 files changed, 0 insertions, 0 deletions