Theorem Homeomorph.symm_comp_to_continuousMap

Modification history

2023-03-16 10:18
Mathlib/Topology/ContinuousFunction/Basic.lean
feat: port Topology.Homotopy.Equiv (#2919) …
Deleted Homeomorph.symm_comp_to_continuousMapView on Github →
2023-02-06 02:37
Mathlib/Topology/ContinuousFunction/Basic.lean
feat: port Topology.ContinuousFunction.Basic (#2053)
Added Homeomorph.symm_comp_to_continuousMapView on Github →