Theorem CategoryTheory.Limits.IsColimit.desc_self

Modification history