Def CategoryTheory.LeftSplit.splitting

Modification history

2023-12-21 16:16
Mathlib/Algebra/Homology/ShortExact/Abelian.lean
refactor: use the new homology API for the four and the five lemmas (#9022) …
Deleted CategoryTheory.LeftSplit.splittingView on Github →
2023-05-12 14:23
Mathlib/Algebra/Homology/ShortExact/Abelian.lean
feat: port Algebra.Homology.ShortExact.Abelian (#3940)
Added CategoryTheory.LeftSplit.splittingView on Github →