Membership in SimpleGraph.ConnectedComponent

Stream: mathlib4

[Yury G. Kudryashov]

We have docs#SimpleGraph.ConnectedComponent.supp and a SetLike instance a few lines below. As a result, we have 2 coercions of a ConnectedComponent to Set that are defeq but not syntactically equal. Which one should we leave?

[Yury G. Kudryashov]

@Kyle Miller You're listed as the author of this file

[Snir Broshi]

I prefer the SetLike instance, and for _ ∈ _.supp to be replaced by _ ∈ _