Theorem List.insertionSort_cons_eq_take_drop

Modification history