Theorem CategoryTheory.Limits.epi_of_isColimit_parallelFamily

Modification history