Theorem BinaryHeap.size_insert

Modification history