Theorem interior_Inter₂_subset

Modification history

2023-10-06 15:59
Mathlib/Topology/Basic.lean
chore: clean up names with iUnion instead of Union (#7550)
Deleted interior_Inter₂_subsetView on Github →
2023-08-10 19:52
Mathlib/Topology/Basic.lean
chore: banish `Type _` and `Sort _` (#6499) …
Modified interior_Inter₂_subsetView on Github →
2023-01-26 08:19
Mathlib/Topology/Basic.lean
feat: port Topology.Basic (#1826)
Added interior_Inter₂_subsetView on Github →