Theorem exists_mem_nhdsSet_isCompact_mapsTo

Modification history

2023-12-26 07:50
Mathlib/Topology/Compactness/LocallyCompact.lean
feat(CompactOpen): unify 2 `continuous_eval` lemmas (#9264) …
Added exists_mem_nhdsSet_isCompact_mapsToView on Github →