diff options
| author | Hannes Schulze <haschu0103@outlook.de> | 2025-10-23 13:52:00 +0200 |
|---|---|---|
| committer | Hannes Schulze <haschu0103@outlook.de> | 2025-10-23 13:52:00 +0200 |
| commit | 40e94df160d011c503fe8dcee39937227de44307 (patch) | |
| tree | 7f4b25ae727008693b0867fc2fca908e7696e2f4 /Nominal/NameRestriction/Model.lean | |
| parent | dc1b4ffb712bb0c411b907cf1395fa790207a8ce (diff) | |
add category definition
Diffstat (limited to 'Nominal/NameRestriction/Model.lean')
0 files changed, 0 insertions, 0 deletions