Theorem List.cons_sublist_cons_iff

Modification history