Theorem CategoryTheory.Limits.PushoutCocone.inl_eq_inr_of_epi_eq

Modification history