rewrite under quantifier

Stream: general

[Michael Beeson]

I remember that there is a command that rewrites under a quantifier. But I can't remember the name of that command. Can someone help me please?

[Mauricio Collares]

simp_rw?

[Michael Beeson]

Thanks!

[Kyle Miller]

There's also using conv to navigate into an expression and using rw, in case you need more precision.