Assertion list
convergent series (subgroup of series ) → HasProperty
Results from Ascent++: 1
convergent series → HasProperty → convergent 0.68