Theorem Set.union_diff_self

Modification history