Commit 2022-10-08 20:02 324a7502
View on Github →feat(algebraic_topology): extra degeneracies and homotopy equivalences (#16855)
In this PR, it is shown that if an augmented simplicial object X
in a preadditive category has an extra degeneracy, then the augmentation is a homotopy equivalence on the alternating face map complex.