We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
:apply (<tactic> ...) [to <goal-name>]
Apply the list of tactics given within parenthesis to either the current goal, or the goal given as <goal-name>.
<goal-name>
Related: citp
citp