Theorem CategoryTheory.ShortComplex.ShortExact.pull

Modification history

2026-09-30 10:34
Mathlib/Algebra/Homology/ShortComplex/Pullback.lean
feat(Algebra/Homology/ShortComplex): pullbacks and pushouts of short exact sequences (#44229) …
Added CategoryTheory.ShortComplex.ShortExact.pullView on Github →