Mathlib Changelog
v4
Changelog
About
Github
Theorem
Topology.RelCWComplex.closedCell_subset_skeleton
Modification history
2025-08-29 09:05
Mathlib/Topology/CWComplex/Classical/Basic.lean
feat: subcomplexes of a classical CW complex (#26201) …
Deleted
Topology.RelCWComplex.closedCell_subset_skeleton
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.closedCell_subset_skeleton
View on Github →