Theorem sdiff_mem_nhdsWithin

Modification history

2026-10-13 14:51
Mathlib/Topology/NhdsWithin.lean
refactor(Data): make `Set` a one-field structure (#41506) …
Added sdiff_mem_nhdsWithinView on Github →