Theorem SimplicialObject.Splitting.ιSummand_comp_d_comp_πSummand_eq_zero

Modification history