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

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

Proof P3261 on R4756:

P3261

This result is a particular case of R4755: Inverse image of a reflected real set. $\square$