Theorem CategoryTheory.Abelian.PreservesCoimage.hom_coimageImageComparison

Modification history

2025-02-02 19:39
Mathlib/CategoryTheory/Limits/Preserves/Shapes/AbelianImages.lean
feat(CategoryTheory): preservation of coimage-image comparisons (#21348)
Added CategoryTheory.Abelian.PreservesCoimage.hom_coimageImageComparisonView on Github →