Theorem List.eq_nil_of_subset_nil

Modification history