Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
t2_space_iff_nhds
Modification history
2022-06-29 10:03
src/topology/separation.lean
refactor(topology/*): Use `disjoint` (#14950) …
Modified
t2_space_iff_nhds
View on Github →
2022-01-25 17:30
src/topology/separation.lean
feat(topology/algebra/mul_action2): quotient by a properly discontinuous group action is t2 (#10465) …
Added
t2_space_iff_nhds
View on Github →