Theorem isLocallyClosedAt_iff_closure_eventuallySubset

Modification history

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