Mathlib v3 is deprecated. Go to Mathlib v4

Theorem category_theory.limits.has_limits_of_shape_op_of_has_colimits_of_shape

Modification history