mathlib

fff77402 - Make `connected_component`s more set-like