Commit 2022-11-14 15:10 ed98c07f
View on Github →feat(algebraic_topology/dold_kan): a few basic lemmas and a property of P_infty (#17538)
This PR introduces some very basic lemmas for the complement projection Q
of P
. We also obtain the lemma ι_summand_comp_P_infty_eq_zero
which states that in a given degree, P_infty
vanishes on all the summands of a split simplicial object except one.