Theorem CategoryTheory.Limits.PushoutCocone.IsColimit.inl_desc

Modification history