Theorem Set.union_diff_cancel_left

Modification history