Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
category_theory.is_kernel_pair.mono_of_is_iso_fst
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.mono_of_is_iso_fst
View on Github →