Theorem mem_nhdsWithin_inter_self

Modification history

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