Theorem SimplicialObject.Splitting.σ_comp_πSummand_id_eq_zero

Modification history