Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2021-07-06 10:58
23d22e4a
View on Github →
feat(category_theory/abelian/ext): Defines Ext functors. (
#8186
) See my comment from
#7525
Estimated changes
Created
src/category_theory/abelian/ext.lean
added
def
Ext
added
def
Ext_succ_of_projective