diff options
| author | Hannes Schulze <haschu0103@outlook.de> | 2025-12-01 23:49:06 +0100 |
|---|---|---|
| committer | Hannes Schulze <haschu0103@outlook.de> | 2025-12-01 23:49:06 +0100 |
| commit | 732b74059139428115aadad9b29653351f000c8a (patch) | |
| tree | ebeb4fe44a743631ff8c1385363ff563b19e15f6 /Nominal/NameRestriction/Finsupp.lean | |
| parent | a9cd1a6993873882bf4d47a7443a530df8eec0fc (diff) | |
finish initial lambda terms modulo alpha-equivalence
Diffstat (limited to 'Nominal/NameRestriction/Finsupp.lean')
0 files changed, 0 insertions, 0 deletions