Algebraic topology #
Extensions of Mathlib's AlgebraicTopology/: extra codegeneracies of
augmented cosimplicial objects and the contraction of the alternating coface
map complex they induce.
Extensions of Mathlib's AlgebraicTopology/: extra codegeneracies of
augmented cosimplicial objects and the contraction of the alternating coface
map complex they induce.