Theorem List.perm_insertionSort

Modification history