mathlib3

5ee90a9a - Changes to `connected_component.iso_equiv_supp`