Theorem JoinedIn.map_continuousOn

Modification history

2026-08-13 15:21
Mathlib/Topology/Connected/PathConnected.lean
feat(Topology/Connected): transport path-connectedness along homeomorphisms (#41665) …
Deleted JoinedIn.map_continuousOnView on Github →
2024-10-18 05:56
Mathlib/Topology/Connected/PathConnected.lean
feat(PathConnected): review API, add missing lemmas (#17855)
Added JoinedIn.map_continuousOnView on Github →