Assertion list for term "ideal sum of elements".

Results from Ascent++: 1
appearance HasAideal sum of elements 0.36