Ascent++
Search
Assertion list
for term "such a closed shape".
Results from
Ascent++
:
1
kite
→
HasA
→
such a closed shape
0.16