Theorem CategoryTheory.Limits.PushoutCocone.isIso_inr_of_epi_of_isColimit

Modification history