Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-01-18 07:09 e895c8fa

View on Github →

chore(cone_category): generalize universes (#11539)

Estimated changes

Modified src/category_theory/limits/cone_category.lean

modified def category_theory.limits.is_colimit.of_preserves_cocone_initial

modified def category_theory.limits.is_colimit.of_reflects_cocone_initial

modified def category_theory.limits.is_limit.of_preserves_cone_terminal

modified def category_theory.limits.is_limit.of_reflects_cone_terminal