Theorem List.subset_append_of_subset_right

Modification history