Theorem List.Sorted.insertionSort_eq

Modification history