Theorem SimplicialObject.Splitting.ιSummand_comp_app

Modification history