Mathlib v3 is deprecated. Go to Mathlib v4

Theorem is_open_sInter

Modification history

2022-06-02 17:31
src/topology/basic.lean
refactor(data/set/finite): protect `set.finite` (#14344) …
Modified is_open_sInterView on Github →
2017-11-24 05:22
analysis/topology/topological_space.lean
feat(data/set/finite): unify fintype and finite developments …
Modified is_open_sInterView on Github →
2017-09-28 18:07
topology/topological_space.lean
feat(topology): add Borel spaces
Added is_open_sInterView on Github →
2017-09-22 12:52
topology/topological_space.lean
feat(data/set): add functions over sets
Deleted is_open_sInterView on Github →
2017-09-22 12:31
topology/topological_space.lean
feat(topology/topological_space): add countablility and separability axioms for topological spaces
Added is_open_sInterView on Github →