Theorem SimplicialObject.Splitting.decomposition_id

Modification history