Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-03-11 18:57 7cffe252

View on Github →

chore(category_theory/cones): make functor argument of forget explicit (#2128)

Estimated changes

Modified src/category_theory/limits/cones.lean

modified def category_theory.limits.cocones.forget

modified def category_theory.limits.cones.forget

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

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

deleted def category_theory.limits.cokernel.of_kernel_of_mono

deleted def category_theory.limits.kernel.of_cokernel_of_epi