diff options
| author | Andreas Grois <andi@grois.info> | 2023-12-15 22:20:46 +0100 |
|---|---|---|
| committer | Andreas Grois <andi@grois.info> | 2023-12-15 22:20:46 +0100 |
| commit | 4a070d5b81b8766309f48715f16ae3adb1bf71a3 (patch) | |
| tree | 4095c4920880df095cd6548f8ed88143f11534aa /Common/Char.lean | |
| parent | 3469d1e0e5e44c29484ff2f843c0863afa502eea (diff) | |
Heap: At least one subtree needs to be perfect now.
Diffstat (limited to 'Common/Char.lean')
0 files changed, 0 insertions, 0 deletions