Theorem List.sorted_cons

Modification history