Ascent++
Search
Assertion list
equilateral triangle
(
subgroup
of
triangle
)
→ ReceivesAction
Results from
Ascent++
:
1
equilateral triangle
→
ReceivesAction
→
inscribed in a circle of radius
0.42