Theorem List.mergeSort_eq_insertionSort

Modification history