Assertion list for term "converge on compact subsets".
Results from Ascent++: 1
domain (aspect of function) → CapableOf → converge on compact subsets 0.25