heapSort.lean:15:4-15:15: warning: declaration uses `sorry`
heapSort.lean:15:4-15:15: warning: declaration uses `sorry`
heapSort.lean:13:0-36:24: warning: declaration uses `sorry`
heapSort.lean:13:0-36:24: warning: declaration uses `sorry`
heapSort.lean:43:4-43:10: warning: declaration uses `sorry`
heapSort.lean:58:4-58:13: warning: declaration uses `sorry`
heapSort.lean:58:4-58:13: warning: declaration uses `sorry`
heapSort.lean:56:0-69:24: warning: declaration uses `sorry`
heapSort.lean:56:0-69:24: warning: declaration uses `sorry`
heapSort.lean:102:4-102:13: warning: declaration uses `sorry`
heapSort.lean:193:11-193:15: warning: declaration uses `sorry`