Theorem Set.union_diff_cancel_right

Modification history