diff options
| author | Hannes Schulze <haschu0103@outlook.de> | 2025-11-20 11:56:18 +0100 |
|---|---|---|
| committer | Hannes Schulze <haschu0103@outlook.de> | 2025-11-20 11:56:18 +0100 |
| commit | ea38ef0cb2c57e10696c7fb6108732a6f454818c (patch) | |
| tree | 512b528ce86c39fb29d66441af10b98d3318afe2 /Nominal/NameRestriction/Model.lean | |
| parent | 80b248c5be656dd2b3ba753871aeeb7102e92ff8 (diff) | |
wip terms
Diffstat (limited to 'Nominal/NameRestriction/Model.lean')
0 files changed, 0 insertions, 0 deletions