Assertion: cauchy sequence | /r/HasProperty | equivalent
Facets:
value: to a regular cauchy sequence
type: OTHER
Source sentences:
text: Any Cauchy sequence with a modulus of Cauchy convergence is equivalent to a regular Cauchy sequence; this can be proved without using any form of the axiom of choice.