Def SimplicialObject.Splitting.ιCoprod

Modification history