Def SimplicialObject.Split.natTransιSummand

Modification history