Theorem CategoryTheory.Abelian.epi_of_cokernel_π_eq_zero

Modification history

2025-10-06 14:25
Mathlib/CategoryTheory/Abelian/Basic.lean
chore: golf entire `epi_of_cokernel_π_eq_zero`, `bottom_row_coprime`, `congr_of_eventuallyEq` and `Invertible.congr` (#28490)
Modified CategoryTheory.Abelian.epi_of_cokernel_π_eq_zeroView on Github →
2023-04-05 03:01
Mathlib/CategoryTheory/Abelian/Basic.lean
feat: port CategoryTheory.Abelian.Basic (#2769)
Added CategoryTheory.Abelian.epi_of_cokernel_π_eq_zeroView on Github →