Mathlib v3 is deprecated. Go to Mathlib v4

Theorem category_theory.is_kernel_pair.pullback

Modification history

2022-11-03 01:01

src/category_theory/limits/shapes/kernel_pair.lean

feat(category_theory/limits/shapes/*): More API around kernel pairs. (#17301) …

Added category_theory.is_kernel_pair.pullback View on Github →