Ascent++
Search
Assertion list
for term "attached to proof".
Results from
Ascent++
:
1
electrode
→
ReceivesAction
→
attached to proof
0.25