diff options
| author | Andreas Grois <andi@grois.info> | 2024-07-19 11:15:42 +0200 |
|---|---|---|
| committer | Andreas Grois <andi@grois.info> | 2024-07-19 11:15:42 +0200 |
| commit | ab7f1623be14bafcc5d4b7bf870e121d6de54064 (patch) | |
| tree | d75c7ee10147a874439d1f432d690a9a8cbfc290 /Main.lean | |
| parent | 24ffdd425feafdadd832ad30aac750f68e0699cc (diff) | |
Factor out proofs of CompleteTree.popLast for readability
Diffstat (limited to 'Main.lean')
0 files changed, 0 insertions, 0 deletions