Theorem mem_nhdsWithin_self_inter

Modification history

2025-11-06 16:54
Mathlib/Topology/NhdsWithin.lean
feat: mfderiv of Sum.swap (#31276) …
Added mem_nhdsWithin_self_interView on Github →