Def SimplicialObject.Splitting.isColimit

Modification history