Theorem BinaryHeap.size_heapifyUp

Modification history