Assertion list for term "one obtuse angle".

Results from Ascent++: 1
triangle HasAone obtuse angle 0.23