diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-12-09 13:26:36 -0600 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-12-09 13:26:36 -0600 |
| commit | b5e583bb067749f80bd3f7e24e807674eba8b394 (patch) | |
| tree | 493fe472eef9460d7aad91b945326c6189a4f977 /NaturalTransformation/Instance/EmptyMultiset.agda | |
| parent | 6272b4e84650b9833a53239b354770e0deba7b9a (diff) | |
Update Nat properties
Diffstat (limited to 'NaturalTransformation/Instance/EmptyMultiset.agda')
0 files changed, 0 insertions, 0 deletions