Theorem exterior_iInter_subset

Modification history

2024-10-20 18:58
Mathlib/Topology/Exterior.lean
chore(Topology/Exterior): golf (#17955) …
Modified exterior_iInter_subsetView on Github →
2024-10-15 12:11
Mathlib/Topology/Exterior.lean
feat: lemmas about exterior (#17765)
Added exterior_iInter_subsetView on Github →