Theorem List.sublist_nil_iff_eq_nil

Modification history