diff options
| author | Hannes Schulze <haschu0103@outlook.de> | 2026-01-23 16:28:27 +0100 |
|---|---|---|
| committer | Hannes Schulze <haschu0103@outlook.de> | 2026-01-23 16:28:27 +0100 |
| commit | b9bcf2ba56b05c0bb92b82ce96e3b697dafc273d (patch) | |
| tree | 8df2802ed72a8cb5dfb8d44fc8f37337a12bc74b /Nominal.lean | |
| parent | 1d968361109499a841074e7dec2970d89d0048b8 (diff) | |
name restrictionsname-restriction-model
Diffstat (limited to 'Nominal.lean')
0 files changed, 0 insertions, 0 deletions