Def CategoryTheory.Limits.IsColimit.coconePointUniqueUpToIso

Modification history