Ascent++
Search
Assertion list
for term "-1)(-1".
Results from
Ascent++
:
1
operation
→
HasSubevent
→
-1)(-1
0.33