Theorem PreconnectedSpace.infinite

Modification history

2025-04-09 06:49

Mathlib/Topology/Separation/Basic.lean

chore(Topology/Separation): split connectedness out of basic file (#23827)

Modified PreconnectedSpace.infinite View on Github →

2025-04-09 00:36

Mathlib/Topology/Separation/Basic.lean

feat: generalize Mathlib.Topology (#23193) …

Added PreconnectedSpace.infinite View on Github →