Theorem Set.diff_subset_diff_left

Modification history