pattern matching exists in tactic mode

Stream: new members

[Do Nhat Minh]

I have an expression with type \exists x y z, e. Is there any way to quickly get to e? Currently, I have to continually perform cases on the expression, which is quite tiresome.

[Reid Barton]

https://github.com/leanprover-community/mathlib/blob/master/docs/tactics.md#rcases

[Do Nhat Minh]

Thanks, @Reid Barton!