Theorem Set.union_diff_right

Modification history