Theorem CategoryTheory.Limits.IsColimit.hom_desc

Modification history