Theorem exterior_inter_subset

Modification history

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 →