Def CategoryTheory.Limits.IsColimit.ofExistsUnique

Modification history