Ascent++
Search
Assertion list
for term "end up with bound roots".
Results from
Ascent++
:
1
crop
→
CapableOf
→
end up with bound roots
0.26