Theorem CategoryTheory.Abelian.OfCoimageImageComparisonIsIso.isNormalMonoCategory

Modification history

2025-01-11 13:24
Mathlib/CategoryTheory/Abelian/Basic.lean
chore(CategoryTheory): make NormalEpi/MonoCategory and RegularEpi/MonoCategory props (#19548) …
Added CategoryTheory.Abelian.OfCoimageImageComparisonIsIso.isNormalMonoCategoryView on Github →