Mathlib Changelog
v4
Changelog
About
Github
Theorem
closure_discrete
Modification history
2025-04-01 16:01
Mathlib/Topology/Order.lean
chore: make sure that simp can prove that a finite set is relatively compact (#23105) …
Modified
closure_discrete
View on Github →
2023-07-10 12:17
Mathlib/Topology/Order.lean
feat: add lemmas about discrete topology (#5777) …
Added
closure_discrete
View on Github →