Ascent++
Search
Assertion list
for term "available in proof".
Results from
Ascent++
:
1
coin
→
ReceivesAction
→
available in proof
0.55