Theorem List.Sorted.tail

Modification history