Ascent++
Search
right triangle
subgroup of
triangle
,
6
assertions
HasA
3
one angle
0.57
hypotenuse
0.32
leg
0.25
HasProperty
1
congruent
0.68
IsA
1
triangle
0.42
ReceivesAction
1
resized
0.25