Commit 2023-06-27 07:58 3f4cde88

View on Github →

feat: lemmas about Homeomorph and IsConnected (#5507)

Estimated changes

Modified Mathlib/Topology/Homeomorph.lean

added theorem Homeomorph.isConnected_image

added theorem Homeomorph.isConnected_preimage

added theorem Homeomorph.isPreconnected_image

added theorem Homeomorph.isPreconnected_preimage

added theorem Homeomorph.locallyConnectedSpace