Def RelativeCWComplex.sphereInclusion

Modification history

2024-09-29 14:59
Mathlib/Topology/CWComplex.lean
feat(Topology): define (relative) CW-complexes (#12502) …
Added RelativeCWComplex.sphereInclusionView on Github →