Theorem CategoryTheory.Limits.Cofork.IsColimit.homIso_natural

Modification history