Theorem List.length_mergeSort

Modification history