Theorem CategoryTheory.Limits.hasLimitsOfShape_op_of_hasColimitsOfShape

Modification history