Theorem SimplicialObject.Splitting.PInfty_comp_πSummand_id

Modification history