Mathlib v3 is deprecated. Go to Mathlib v4

Theorem preimage_coe_mem_nhds_subtype

Modification history

2021-08-31 15:40

src/topology/continuous_on.lean

feat(measure_theory/hausdorff_measure): dimH and Hölder/Lipschitz maps (#8361) …

Added preimage_coe_mem_nhds_subtype View on Github →