Def IsTotallySeparated

Modification history

2023-10-18 21:09

Mathlib/Topology/Connected/Basic.lean

feat: split Topology/Connected.lean (#7646) …

Modified IsTotallySeparated View on Github →

2023-02-02 04:56

Mathlib/Topology/Connected.lean

feat: port Topology.Connected (#1934)

Added IsTotallySeparated View on Github →