diff options
| author | Hannes Schulze <haschu0103@outlook.de> | 2025-10-24 00:15:26 +0200 |
|---|---|---|
| committer | Hannes Schulze <haschu0103@outlook.de> | 2025-10-24 00:15:26 +0200 |
| commit | 52da7e6960ea5eedb7374be07aa065a8f34128b8 (patch) | |
| tree | 8f4c206936dceb94399c76b0a17852bf33cf006a /Nominal/Basic.lean | |
| parent | f8b2f5190e33f3d1694442a6be32cba97fcef004 (diff) | |
refactor namespaces
Diffstat (limited to 'Nominal/Basic.lean')
0 files changed, 0 insertions, 0 deletions