diff options
| author | Hannes Schulze <haschu0103@outlook.de> | 2025-10-23 22:32:44 +0200 |
|---|---|---|
| committer | Hannes Schulze <haschu0103@outlook.de> | 2025-10-23 22:32:44 +0200 |
| commit | 4cb79d58996f2601f886a7185e89fa6dd71579e1 (patch) | |
| tree | c47f846649a2b9e7fddab12ecd3f30f1e79e64b8 /Nominal/Instances/Basic.lean | |
| parent | f95c4f2bd8a88c4b4b35e77fc45f0f1036d10c9e (diff) | |
add forgetful functors
Diffstat (limited to 'Nominal/Instances/Basic.lean')
0 files changed, 0 insertions, 0 deletions