Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-12-02 17:36 af6ee092

View on Github →

fix(category_theory/limits): adding Type annotations in preserves.lean

Estimated changes

Modified category_theory/limits/preserves.lean

modified def category_theory.limits.preserves_colimits

modified def category_theory.limits.preserves_colimits_of_shape

modified def category_theory.limits.preserves_limits

modified def category_theory.limits.preserves_limits_of_shape

modified def category_theory.limits.reflects_colimits

modified def category_theory.limits.reflects_colimits_of_shape

modified def category_theory.limits.reflects_limits

modified def category_theory.limits.reflects_limits_of_shape