Assertion: isometry's point | /r/HasProperty | banach fixed point theorem
Facets:
Source sentences:
text: If ƒ is a contraction, then ƒ admits a unique fixed point (Banach fixed point theorem).