Def CategoryTheory.Abelian.PreservesCoimage.iso

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.iso View on Github →