Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-03-15 23:30 fbe2ce09

View on Github →

feat(category_theory/limits): kernel forks (#2156)

Estimated changes

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

added theorem category_theory.limits.cokernel_cofork.app_zero

added theorem category_theory.limits.cokernel_cofork.condition

added def category_theory.limits.cokernel_cofork.of_π

added def category_theory.limits.cokernel_cofork

added theorem category_theory.limits.kernel_fork.app_one

added theorem category_theory.limits.kernel_fork.condition

added def category_theory.limits.kernel_fork.of_ι

added def category_theory.limits.kernel_fork