Theorem IsCompact.exterior_iff

Modification history

2024-09-24 06:31

Mathlib/Topology/AlexandrovDiscrete.lean

chore(AlexandrovDiscrete): move `exterior` to new files (#16957) …

Modified IsCompact.exterior_iff View on Github →

2024-09-19 18:37

Mathlib/Topology/AlexandrovDiscrete.lean

feat(Topology/AlexandrovDiscrete): generalize some lemmas (#16932) …

Added IsCompact.exterior_iff View on Github →