Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-09-07 05:00 8eab714f

View on Github →

refactor(category_theory/limits): make is_[co]limit not a class (#1405)

Estimated changes

Modified src/category_theory/adjunction/limits.lean

Modified src/category_theory/limits/limits.lean

added def category_theory.limits.colimit.is_colimit

added def category_theory.limits.limit.is_limit

Modified src/category_theory/limits/preserves.lean

Modified src/category_theory/limits/shapes/terminal.lean