Ascent++
Search
Assertion list
for term "come k-t-6".
Results from
Ascent++
:
1
flop
→
CapableOf
→
come k-t-6
0.39