Mathlib Changelog
v4
Changelog
About
Github
Theorem
Topology.RelCWComplex.base_subset_skeletonLT
Modification history
2025-08-29 09:05
Mathlib/Topology/CWComplex/Classical/Basic.lean
feat: subcomplexes of a classical CW complex (#26201) …
Deleted
Topology.RelCWComplex.base_subset_skeletonLT
View on Github →
2025-02-08 15:33
Mathlib/Topology/CWComplex/Classical/Basic.lean
feat: definition and basic lemmas about CW-complexes (#19760) …
Added
Topology.RelCWComplex.base_subset_skeletonLT
View on Github →