Def CategoryTheory.Abelian.OfCoimageImageComparisonIsIso.normalMonoCategory

Modification history

2025-01-11 13:24
Mathlib/CategoryTheory/Abelian/Basic.lean
chore(CategoryTheory): make NormalEpi/MonoCategory and RegularEpi/MonoCategory props (#19548) …
Deleted CategoryTheory.Abelian.OfCoimageImageComparisonIsIso.normalMonoCategoryView on Github →
2023-04-05 03:01
Mathlib/CategoryTheory/Abelian/Basic.lean
feat: port CategoryTheory.Abelian.Basic (#2769)
Added CategoryTheory.Abelian.OfCoimageImageComparisonIsIso.normalMonoCategoryView on Github →