theorem Set.sub_eq_add {G : Type u_1} [AddCommGroup G] [Module (ZMod 2) G] (A : Set G) : A - A = A + A