Def SimplicialObject.Splitting.ιSummand

Modification history