Theorem CategoryTheory.Limits.Types.pushoutCocone_inl_eq_inr_iff_of_isColimit

Modification history