Assertion list for term "average double-double".

Results from Ascent++: 1
junior CapableOfaverage double-double 0.29