Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-01-28 14:42
e975e781
View on Github →
chore(Topology): fix a typo (
#10070
) There is no
NeBot
in this lemma
Estimated changes
Modified
Mathlib/Topology/Basic.lean
deleted
theorem
mem_closure_iff_nhds_neBot
added
theorem
mem_closure_iff_nhds_ne_bot
Modified
Mathlib/Topology/Separation.lean