Theorem homeomorph.to_local_homeomorph_coe_symm
Modification history
2022-05-24 16:46
src/topology/local_homeomorph.lean
feat(topology/local_homeomorph): define helper definition (#14360) …
Deleted homeomorph.to_local_homeomorph_coe_symmView on Github →