diff options
| author | Andreas Grois <andi@grois.info> | 2024-01-30 23:13:03 +0100 |
|---|---|---|
| committer | Andreas Grois <andi@grois.info> | 2024-01-30 23:13:03 +0100 |
| commit | 67dfa34b484f4c5a5bbac8def7055176af3b728f (patch) | |
| tree | e48ad3a2b5d7b86892f6912ea37c9836ecd1a8ba /lakefile.lean | |
| parent | 5a5ef3bb65cc41537b44df9d43446232c83230d0 (diff) | |
Make BinaryTree.PopLast function work with unfold
at the cost of making it harder to read.
Diffstat (limited to 'lakefile.lean')
0 files changed, 0 insertions, 0 deletions