Theorem List.length_insertionSort

Modification history