Mathlib Changelog
v4
Changelog
About
Github
Theorem
discreteTopology_iff_forall_isClosed
Modification history
2023-07-10 12:17
Mathlib/Topology/Order.lean
feat: add lemmas about discrete topology (#5777) …
Added
discreteTopology_iff_forall_isClosed
View on Github →