Theorem List.sorted_insertionSort

Modification history