Ascent++
Search
Assertion list
for term "strengthened by insert".
Results from
Ascent++
:
1
corner
→
ReceivesAction
→
strengthened by insert
0.18