Assertion list for term "used by state".
Results from Ascent++: 2
definition → ReceivesAction → used by state 0.29
tactic → ReceivesAction → used by state 0.25