Theorem IsClosed.frontier_subset

Modification history

2024-07-14 15:55

Mathlib/Topology/Basic.lean

feat(Topology/LocallyClosed): Define locally closed sets (#14396)

Deleted IsClosed.frontier_subset View on Github →

2023-01-26 08:19

Mathlib/Topology/Basic.lean

feat: port Topology.Basic (#1826)

Added IsClosed.frontier_subset View on Github →