diff options
| author | Hannes Schulze <haschu0103@outlook.de> | 2025-10-22 23:34:14 +0200 |
|---|---|---|
| committer | Hannes Schulze <haschu0103@outlook.de> | 2025-10-22 23:34:14 +0200 |
| commit | 281326b9b7eb6561526f02ff37eab9c39aa83b58 (patch) | |
| tree | e97e1bd1c1ca95d7775a988af3a65a90e50fa94e /Nominal/Instances/Abstraction.lean | |
| parent | b1a5137ed3f2d7810a1670d2e3888e8a87d89b02 (diff) | |
always require infinite, countable, equality-decidable atoms
Diffstat (limited to 'Nominal/Instances/Abstraction.lean')
0 files changed, 0 insertions, 0 deletions