Def CategoryTheory.Limits.coproductIsCoproduct

Modification history