Ascent++
Search
obtuse triangle
subgroup of
triangle
,
2
assertions
HasA
1
one angle
0.68
IsA
1
triangle
0.25