Theorem BinaryHeap.size_mkHeap

Modification history