Theorem mem_connectedComponentIn

Modification history

2024-05-31 00:19

Mathlib/Topology/Connected/Basic.lean

chore: fix formatting of many misplaced "by"s (#13204)

Modified mem_connectedComponentIn View on Github →

2023-02-02 04:56

Mathlib/Topology/Connected.lean

feat: port Topology.Connected (#1934)

Added mem_connectedComponentIn View on Github →