Assertion list for term "hold at least n elements".

Results from Ascent++: 1
range CapableOfhold at least n elements 0.27