# Def connected_component

#### Modification history

2021-02-11 09:21

src/topology/connected.lean

refactor(topology/subset_properties.lean): split the subset_properties.lean file (#6161) …

Modified connected_componentView on Github →Mathlib v3 is deprecated. Go to Mathlib v4

2021-02-11 09:21

src/topology/connected.lean

refactor(topology/subset_properties.lean): split the subset_properties.lean file (#6161) …

Modified connected_componentView on Github →