Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
topological_space.countable_of_nonempty_interior_of_disjoint
Modification history
2021-11-04 17:11
src/topology/bases.lean
refactor(data/set/pairwise): Indexed sets as arguments to `set.pairwise_disjoint` (#9898) …
Deleted
topological_space.countable_of_nonempty_interior_of_disjoint
View on Github →
2021-10-05 21:57
src/topology/bases.lean
feat(topology/bases): a family of nonempty disjoint open sets is countable in a separable space (#9557) …
Added
topological_space.countable_of_nonempty_interior_of_disjoint
View on Github →