Mathlib Changelog
v4
Changelog
About
Github
Theorem
Topology.CWComplex.cellFrontier_subset_finite_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.CWComplex.cellFrontier_subset_finite_closedCell
View on Github →