Theorem SimplicialObject.Splitting.cofan_inj_epi_naturality

Modification history