Theorem Homeomorph.to_continuousMap_comp_symm

Modification history

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