Theorem BinaryHeap.size_pos_of_max

Modification history

2024-06-26 06:40
Mathlib/Data/BinaryHeap.lean
chore: update Mathlib dependencies 2024-06-26 (#14145) …
Deleted BinaryHeap.size_pos_of_maxView on Github →
2021-12-18 19:28
Mathlib/Data/BinaryHeap.lean
feat: more theorems on arrays and binary heaps (#138)
Added BinaryHeap.size_pos_of_maxView on Github →