diff options
| author | Andreas Grois <andi@grois.info> | 2024-08-02 20:15:39 +0200 |
|---|---|---|
| committer | Andreas Grois <andi@grois.info> | 2024-08-02 20:15:39 +0200 |
| commit | ede4ba0d37480186f333ad7d7bb2e3d48a7e7d52 (patch) | |
| tree | 7a550c27457a0acc4e09637064aa3cf1ed7810dc /BinaryHeap.lean | |
| parent | db153666201f32f8ad5aa67f69abd6efccc525b6 (diff) | |
Proves about heapRemoveLast.
Diffstat (limited to 'BinaryHeap.lean')
0 files changed, 0 insertions, 0 deletions