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

Proof P11 on R81: Bilipschitz map is continuous

P11

This result is a corollary to the results

(i)	R2755: Bilipschitz map is Lipschitz
(ii)	R80: Lipschitz map is continuous

$\square$