diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-11-03 23:30:58 -0600 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-11-03 23:30:58 -0600 |
| commit | 10df4f9f7a64a24c2c74731f9dc49e2d6f008b18 (patch) | |
| tree | 7de3ef4a2eb1d136402c8e8238cd071787341d3d /Functor/Instance/Multiset.agda | |
| parent | 298baf2b69620106e95b52206e02d58ad8cb9fc8 (diff) | |
Remove unnecessary import
Diffstat (limited to 'Functor/Instance/Multiset.agda')
0 files changed, 0 insertions, 0 deletions