diff options
| author | Hannes Schulze <haschu0103@outlook.de> | 2025-10-23 09:47:09 +0200 |
|---|---|---|
| committer | Hannes Schulze <haschu0103@outlook.de> | 2025-10-23 09:47:09 +0200 |
| commit | 7a4e25ebbc9e470650851299659860b4c07bff6b (patch) | |
| tree | f5d3aaca53e0b7053e5bfefb005739d3908e1c26 /Nominal/Helpers/Finset.lean | |
| parent | 281326b9b7eb6561526f02ff37eab9c39aa83b58 (diff) | |
add freshness
Diffstat (limited to 'Nominal/Helpers/Finset.lean')
0 files changed, 0 insertions, 0 deletions