diff options
| author | Hannes Schulze <haschu0103@outlook.de> | 2026-01-12 17:07:26 +0100 |
|---|---|---|
| committer | Hannes Schulze <haschu0103@outlook.de> | 2026-01-12 17:07:26 +0100 |
| commit | c02833bceaa69c632285dde4742a91b332d41c6a (patch) | |
| tree | 3d02223d729601457167936f4913ecd76f566bcb /Nominal/Instances/Basic.lean | |
| parent | 04d26f09a95b2f04a2ea055245826630dbd9c724 (diff) | |
cleanup
Diffstat (limited to 'Nominal/Instances/Basic.lean')
0 files changed, 0 insertions, 0 deletions