Instead of doing cases many times

Stream: new members

[Ben Nale]

Hi, I have a hypothesis of the form
P_1 \and P_2 \and P_3 \and ... \and P_10.
I want to split it into 10 separate hypotheses with names g1,g2,...,g10.
How can I do this efficiently?

[Alex J. Best]

rcases h with \<g1, g2, g3 , etc , g10\>

[Ben Nale]

Thanks @Alex J. Best , You're the best :D