ThmDex – An index of mathematical definitions, results, and conjectures.

ThmDex – An index of mathematical definitions, results, and conjectures.

Proof P3262 on R4754:

P3262

Result R4756: shows that $\{ X \in - B \} = \{ - X \in B \}$. The claim follows. $\square$