Theorem subset_of_mem_nhdsSet

Modification history

2023-08-15 15:52
Mathlib/Topology/NhdsSet.lean
feat: add `Filter.Eventually.self_of_nhdsSet` (#6497) …
Added subset_of_mem_nhdsSetView on Github →