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

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

Proof P3086 on R4534:

P3086

This result is a particular case of R2074: Isotonicity of inverse image. $\square$