Mathlib v3 is deprecated. Go to Mathlib v4

Theorem homeomorph.preimage_frontier

Modification history

2022-01-05 14:15

src/topology/homeomorph.lean

feat(analysis/complex): `re`, `im`, and `closure`/`interior`/`frontier` (#11215)

Added homeomorph.preimage_frontier View on Github →