Mathlib Changelog
v4
Changelog
About
Github
Def
TopCat.diskBoundaryInclusion
Modification history
2025-02-12 13:36
Mathlib/Topology/Category/TopCat/Sphere.lean
feat(AlgebraicTopology): relative cell complexes, refactor of CW-complexes (#21600) …
Added
TopCat.diskBoundaryInclusion
View on Github →