Ascent++
Search
Assertion list
for term "a base of length".
Results from
Ascent++
:
1
parallelogram
→
HasA
→
a base of length
0.35