Theorem isLocallyClosedAt_iff_exists_isClosed_eventuallyEqSet

Modification history

2026-09-02 10:15
Mathlib/Topology/LocallyClosed.lean
chore(Topology/LocallyClosed): fix names (#43310) …
Added isLocallyClosedAt_iff_exists_isClosed_eventuallyEqSetView on Github →