Theorem SimplicialObject.Splitting.cofan_inj_id

Modification history