This way we can use set_solver to solve goals involving ∈.
Attach a file by drag & drop or click to upload