Theorem exterior_iUnion

Modification history

2024-10-15 12:11

Mathlib/Topology/Exterior.lean

feat: lemmas about exterior (#17765)

Modified exterior_iUnion View on Github →

2024-09-24 06:31

Mathlib/Topology/AlexandrovDiscrete.lean

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

Modified exterior_iUnion View on Github →

2024-09-19 18:37

Mathlib/Topology/AlexandrovDiscrete.lean

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

Added exterior_iUnion View on Github →