Theorem CategoryTheory.Limits.PushoutCocone.inl_colimit_cocone

Modification history