iterating use tactic

Stream: new members

[Anya Michaelsen]

if the goal begins with "\exists x y ..." is there a way to do something like "use x y" instead of "use x, use y"?

[Bryan Gin-ge Chen]

You can pass a list like this: use [x, y]. See tactic#use.

[Jason KY.]

something like refine \<x, y, _\> would also work