Ascent++
Search
Assertion list
side
(
aspect
of
triangle
)
→ HasA
Results from
Ascent++
:
1
side
→
HasA
→
right angle
0.42