Def CategoryTheory.RelativeCWComplex.sphereInclusion

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.sphereInclusionView 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.sphereInclusionView on Github →