Mathlib v3 is deprecated. Go to Mathlib v4

Theorem inducing.is_preconnected_image

Modification history

2021-12-24 12:49

src/topology/connected.lean

feat(topology/connected): add `inducing.is_preconnected_image` (#11011) …

Added inducing.is_preconnected_image View on Github →