Zulip Chat Archive

Stream: Is there code for X?

Topic: set membership


view this post on Zulip Manuel Candales (Apr 09 2021 at 20:14):

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)

view this post on Zulip Kevin Buzzard (Apr 09 2021 at 20:15):

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

view this post on Zulip Kevin Buzzard (Apr 09 2021 at 20:16):

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

view this post on Zulip Manuel Candales (Apr 09 2021 at 20:20):

wow, thanks! didn't know about hint.


Last updated: May 19 2021 at 02:10 UTC