2026-11-10 23:17
Mathlib/Topology/Connected/TotallyDisconnected.lean
chore(Topology/Connected/TotallyDisconnected): use a typeclass param in `PreconnectedSpace.constant` and respell using `IsConst` (#45848) …
Added Continuous.isConst_of_preconnectedSpace