Def CategoryTheory.Limits.isColimitCofanMkObjOfIsColimit

Modification history