Assertion list for term "finite size".

Results from Ascent++: 1
universe HasAfinite size 0.36