Assertion list for term "same angles".

Results from Ascent++: 1
triangle HasAsame angles 0.37