Ascent++
Search
Assertion list
for term "meant to enhance understanding of the present invention".
Results from
Ascent++
:
1
proof
→
ReceivesAction
→
meant to enhance understanding of the present invention
0.30