Theorem List.perm_mergeSort

Modification history