Mathlib Changelog
v4
Changelog
About
Github
Theorem
Icc_mem_nhds_iff
Modification history
2024-04-08 07:22
Mathlib/Topology/Order/Basic.lean
refactor(Topology/Order/Basic): split up large file (#11992) …
Modified
Icc_mem_nhds_iff
View on Github →
2024-03-12 01:07
Mathlib/Topology/Order/Basic.lean
feat: `@[simp]` `Icc a b ∈ 𝓝 x` (#11178) …
Added
Icc_mem_nhds_iff
View on Github →