Theorem BinaryHeap.size_heapifyDown

Modification history