Theorem exterior_inter_subset

Modification history

2025-07-09 18:24
Mathlib/Topology/NhdsKer.lean
style(Mathlib/Topology): rename `exterior` (2/2) (#26919) …
Deleted exterior_inter_subsetView on Github →
2024-10-20 18:58
Mathlib/Topology/Exterior.lean
chore(Topology/Exterior): golf (#17955) …
Modified exterior_inter_subsetView on Github →
2024-10-15 12:11
Mathlib/Topology/Exterior.lean
feat: lemmas about exterior (#17765)
Added exterior_inter_subsetView on Github →