Assertion list for term "single point".

Results from Ascent++: 1
entire universe (subgroup of universe) IsAsingle point 0.25