Ascent++
Search
Assertion list
corner
(
aspect
of
rectangle
)
→ HasA
Results from
Ascent++
:
2
corner
→
HasA
→
an angle of #
0.68
corner
→
HasA
→
an angle of #5 pi)/12
0.59