diff options
| author | Hannes Schulze <contact@haschu.me> | 2026-04-15 16:31:13 +0200 |
|---|---|---|
| committer | Hannes Schulze <contact@haschu.me> | 2026-04-15 16:31:13 +0200 |
| commit | e474e89339047bd370ec423da75f7be2768b7a1b (patch) | |
| tree | 06eabe866bcf27f60dab493ab5a3d9c90263adb0 /Nominal/Helpers/Finset.lean | |
| parent | 2e5f7e22761bd30857bbe067862a8b256805ecd8 (diff) | |
Diffstat (limited to 'Nominal/Helpers/Finset.lean')
0 files changed, 0 insertions, 0 deletions