Theorem List.sorted_nil

Modification history