Theorem CategoryTheory.Abelian.Ext.mk₀_zero

Modification history

2024-07-15 21:28

Mathlib/Algebra/Homology/DerivedCategory/Ext.lean

feat: the abelian group structure on Ext-groups in abelian categories (#14496) …

Added CategoryTheory.Abelian.Ext.mk₀_zero View on Github →