Theorem SimplicialObject.Splitting.πSummand_comp_ιSummand_comp_PInfty_eq_PInfty

Modification history