Theorem CategoryTheory.Abelian.Ext.mapExactFunctor_zero

Modification history

2026-01-07 17:16
Mathlib/Algebra/Homology/DerivedCategory/Ext/Map.lean
chore: fix even more spacing issues (#33716) …
Modified CategoryTheory.Abelian.Ext.mapExactFunctor_zeroView on Github →
2026-01-05 14:32
Mathlib/Algebra/Homology/DerivedCategory/Ext/Map.lean
feat(Homology): map between `Ext` induced by exact functor (#31707) …
Added CategoryTheory.Abelian.Ext.mapExactFunctor_zeroView on Github →