Theorem CategoryTheory.Limits.Cotrident.IsColimit.homIso_natural

Modification history