Theorem Set.diff_union_of_subset

Modification history