Mathlib Changelog
v4
Changelog
About
Github
Theorem
Topology.RelCWComplex.cellFrontier_union_openCell_eq_closedCell
Modification history
2025-02-08 15:33
Mathlib/Topology/CWComplex/Classical/Basic.lean
feat: definition and basic lemmas about CW-complexes (#19760) …
Added
Topology.RelCWComplex.cellFrontier_union_openCell_eq_closedCell
View on Github →