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

Proof P2075 on R2757: Proper contraction map is continuous

P2075

This result is a corollary to the results

(i)	R2756: Proper contraction map is Lipschitz
(ii)	R80: Lipschitz map is continuous

$\square$