Def CategoryTheory.Limits.IsColimit.isoUniqueCoconeMorphism

Modification history