Mathlib Changelog
v4
Changelog
About
Github
Def
Topology.RelCWComplex.openCell
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.openCell
View on Github →