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

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

Result R2756 on D49: Proper contraction

Proper contraction map is Lipschitz