Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
t2_separation_finset
Modification history
2022-09-29 21:54
src/topology/separation.lean
feat(order/filter/*): a family of pairwise disjoint filters has a family of pairwise disjoint members (#16504)
Deleted
t2_separation_finset
View on Github →
2022-04-20 10:38
src/topology/separation.lean
feat(topology/separation): Finite sets in T2 spaces (#12845) …
Added
t2_separation_finset
View on Github →