Theorem SimplicialObject.Splitting.cofan_inj_eq

Modification history