Theorem CategoryTheory.Limits.hasCoproductsOfShape_of_opposite

Modification history