diff options
| author | Hannes Schulze <haschu0103@outlook.de> | 2026-01-11 23:45:55 +0100 |
|---|---|---|
| committer | Hannes Schulze <haschu0103@outlook.de> | 2026-01-11 23:45:55 +0100 |
| commit | 502188498eca3e076b10aaa7a0a1763f624abe8d (patch) | |
| tree | e7cb2ce8bd355c4a7ab6b7fe61ae2040943faa6a /Nominal/LambdaCalculus/Terms.lean | |
| parent | 28f4ab93e3e0b79a083acdadaf7c803a0b10361c (diff) | |
prove some more axioms
Diffstat (limited to 'Nominal/LambdaCalculus/Terms.lean')
0 files changed, 0 insertions, 0 deletions