Ascent++
Search
acute triangle
subgroup of
triangle
,
1
assertions
IsA
1
triangle
0.68