Theorem CategoryTheory.Limits.Cofork.IsColimit.existsUnique

Modification history