Theorem CategoryTheory.Limits.ClosedUnderColimitsOfShape.colimit

Modification history