diff options
| author | Raito Bezarius | 2024-04-04 17:30:46 +0200 |
|---|---|---|
| committer | Raito Bezarius | 2024-04-04 17:30:46 +0200 |
| commit | 22a499f5d4d231bef3193405983f9ade6da116db (patch) | |
| tree | 221c903d3dc8b00cac087cf45a5f328bd42ea7cf /AvlVerification/Specifications.lean | |
| parent | 7064a237805d5cac48d2f5aa7e4691ea7695b8af (diff) | |
feat: close key theorem for any result on binary search trees
Signed-off-by: Raito Bezarius <masterancpp@gmail.com>
Diffstat (limited to 'AvlVerification/Specifications.lean')
0 files changed, 0 insertions, 0 deletions