diff options
| author | Andreas Grois <andi@grois.info> | 2024-06-30 16:23:14 +0200 |
|---|---|---|
| committer | Andreas Grois <andi@grois.info> | 2024-06-30 16:23:14 +0200 |
| commit | c78367b5c7567bd75eb3a9e5ee3e9ad8cb9dc94b (patch) | |
| tree | 9abc5fd18c9634ce667270909e34b85a9f98818c /Day1.lean | |
| parent | 85aecced6a630086ab850d5f7448b791a8d33072 (diff) | |
CompleteTree.replaceElementAt finished - now needs proof
Diffstat (limited to 'Day1.lean')
0 files changed, 0 insertions, 0 deletions