Theorem CategoryTheory.Limits.preservesColimitsOfShape_of_discrete

Modification history