set membership

Stream: Is there code for X?

[Manuel Candales]

Is there a tactic that will solve for set memberships of explicitly created sets. For example to show that c ∈ ({a, b, c, d} : set R)

[Kevin Buzzard]

What does hint say? That's a tactic which is designed to solve questions like yours

[Kevin Buzzard]

I mean questions such as "is there a tactic...", not the goal itself

[Manuel Candales]

wow, thanks! didn't know about hint.