Def RelativeCWComplex.AttachCells.inclusion

Modification history

2024-09-29 19:04

Mathlib/Topology/CWComplex.lean

chore(Topology/Category): fix imports in TopCat.Basic (#17258) …

Deleted RelativeCWComplex.AttachCells.inclusion View on Github →

2024-09-29 14:59

Mathlib/Topology/CWComplex.lean

feat(Topology): define (relative) CW-complexes (#12502) …

Added RelativeCWComplex.AttachCells.inclusion View on Github →