Ascent++
Search
Assertion list
equality
(
primary
)
→ AtLocation
Results from
Ascent++
:
1
equality
→
AtLocation
→
triangle
0.25