Theorem SimplicialObject.Splitting.ιSummand_epi_naturality

Modification history