Ascent++
Search
Assertion list
for term "smaller diameter".
Results from
Ascent++
:
1
surface
→
HasA
→
smaller diameter
0.33