Theorem CategoryTheory.Limits.IsColimit.hom_isIso

Modification history