Theorem CategoryTheory.Limits.Cofork.IsColimit.hom_ext

Modification history