Assertion: cauchy continuity | /r/HasProperty | sufficient
Facets:
Source sentences:
text: (In general, Cauchy continuity is necessary and sufficient for extension of f to the completion of X, so is a priori stronger than extendability to X.)