diff options
| author | Hannes Schulze <haschu0103@outlook.de> | 2025-12-01 20:29:38 +0100 |
|---|---|---|
| committer | Hannes Schulze <haschu0103@outlook.de> | 2025-12-01 20:29:38 +0100 |
| commit | a9cd1a6993873882bf4d47a7443a530df8eec0fc (patch) | |
| tree | 5fd19a7af3e63e33edcfedcd5679bb59a2982823 /Nominal/Category.lean | |
| parent | e02ad2dcc0f93107c18f8316b386b92b45548e97 (diff) | |
prove pick_fresh
Diffstat (limited to 'Nominal/Category.lean')
0 files changed, 0 insertions, 0 deletions