Theorem CategoryTheory.ShortComplex.Splitting.r_f

Modification history

2024-03-23 16:05
Mathlib/Algebra/Homology/ShortComplex/Exact.lean
chore: Rename `mul`-`div` cancellation lemmas (#11530) …
Modified CategoryTheory.ShortComplex.Splitting.r_fView on Github →
2023-10-27 07:47
Mathlib/Algebra/Homology/ShortComplex/Exact.lean
feat: a split short complex is exact (#7816)
Added CategoryTheory.ShortComplex.Splitting.r_fView on Github →