Mathlib v3 is deprecated. Go to Mathlib v4

Def Ext_succ_of_projective

Modification history

2021-07-06 10:58
src/category_theory/abelian/ext.lean
feat(category_theory/abelian/ext): Defines Ext functors. (#8186) …
Added Ext_succ_of_projectiveView on Github →