Theorem CategoryTheory.ShortComplex.Exact.epi_kernelLift

Modification history

2025-12-06 17:24
Mathlib/Algebra/Homology/ShortComplex/Exact.lean
feat(Algebra/Homology): miscellaneous lemmas (#32434) …
Added CategoryTheory.ShortComplex.Exact.epi_kernelLiftView on Github →