Theorem CategoryTheory.Limits.IsColimit.existsUnique

Modification history