Theorem List.sorted_mergeSort'

Modification history