Assertion list
cauchy sequence (subgroup of sequence ) → HasProperty
Results from Ascent++: 1
cauchy sequence → HasProperty → convergent 0.84