Theorem List.cons_sublist_cons'

Modification history