Theorem CategoryTheory.ShortComplex.Exact.ab_finite

Modification history

2025-11-14 17:31
Mathlib/Algebra/Homology/ShortComplex/Ab.lean
feat(Algebra/Homology): sandwich a comm group between two finite comm groups (#31227) …
Added CategoryTheory.ShortComplex.Exact.ab_finiteView on Github →