Theorem CategoryTheory.Abelian.Ext.mk₀_linearEquiv₀_apply

Modification history

2025-10-29 00:03
Mathlib/Algebra/Homology/DerivedCategory/Ext/Linear.lean
feat(Algebra/Homology): Ext modules (#27416) …
Added CategoryTheory.Abelian.Ext.mk₀_linearEquiv₀_applyView on Github →