Theorem isLocallyClosed_iff_coe_preimage_of_iSup_eq_top
Modification history
2024-07-30 18:20
Mathlib/Topology/LocalAtTarget.lean
chore(Topology/LocallyClosed): move around (#15323) …
Modified isLocallyClosed_iff_coe_preimage_of_iSup_eq_topView on Github →