Improve name of `no_new_unsolved_evars`
The name should make clear that the tactic either fails or completely solves the goal.
This was discussed in !429 (diffs, comment 86720)
The name should make clear that the tactic either fails or completely solves the goal.
This was discussed in !429 (diffs, comment 86720)