Assertion list for term "duplicate elements".

Results from Ascent++: 1
set HasAduplicate elements 0.49