Theorem CategoryTheory.Limits.PushoutCocone.isIso_inl_of_epi_of_isColimit

Modification history