Def CategoryTheory.Limits.isColimitOfHasCoproductOfPreservesColimit

Modification history