Def SimplicialObject.Split.natTransCofanInj

Modification history