Theorem SimplicialObject.Splitting.ιSummand_comp_PInfty_eq_zero

Modification history