Mathlib Changelog
v4
Changelog
About
Github
Structure
CategoryTheory.RelativeCWComplex.AttachGeneralizedCells
Modification history
2025-02-12 13:36
Mathlib/Topology/CWComplex/Abstract/Basic.lean
feat(AlgebraicTopology): relative cell complexes, refactor of CW-complexes (#21600) …
Deleted
CategoryTheory.RelativeCWComplex.AttachGeneralizedCells
View on Github →
2025-02-08 15:33
Mathlib/Topology/CWComplex/Abstract/Basic.lean
feat: definition and basic lemmas about CW-complexes (#19760) …
Added
CategoryTheory.RelativeCWComplex.AttachGeneralizedCells
View on Github →