Theorem CategoryTheory.Limits.epi_of_isColimit_cofork

Modification history