Theorem Set.union_eq_diff_union_diff_union_inter

Modification history