Theorem SimplicialObject.Splitting.cofan_inj_comp_app

Modification history