Theorem isLocallyClosedAt_iff_eventuallyEqSet_closure

Modification history

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