Theorem SimplicialObject.Splitting.cofan_inj_comp_PInfty_eq_zero

Modification history