Theorem List.pair_sublist_insertionSort

Modification history