Theorem List.mem_mergeSort'

Modification history