Table of Contents
test if element is in set
find a : bool such that a = (1 in {0,1})
This syntax is checking if 1 is in the set {0,1}
See it demonstrated here.