Theorem List.mergeSort'_nil

Modification history