Theorem CategoryTheory.Limits.IsColimit.hom_ext

Modification history