Theorem Set.union_diff_left

Modification history