diff options
| author | Andreas Grois <andi@grois.info> | 2024-01-10 00:04:28 +0100 |
|---|---|---|
| committer | Andreas Grois <andi@grois.info> | 2024-01-10 00:04:28 +0100 |
| commit | 4664a692a4c49b2f5b9a5e43d8f03c6c993478d5 (patch) | |
| tree | dbe3c0ed7b090731a2fe1789d96d5dd62cf0917d /lean-toolchain | |
| parent | bbf66d6dfc6888dd4777ff31a1301b381f6c7cd8 (diff) | |
Heap.insert: Insert-Left is proven now.
Diffstat (limited to 'lean-toolchain')
0 files changed, 0 insertions, 0 deletions