Theorem CategoryTheory.Functor.linear_of_full_essSurj_comp

Modification history

2026-01-05 14:32
Mathlib/CategoryTheory/Linear/LinearFunctor.lean
feat(Homology): map between `Ext` induced by exact functor (#31707) …
Added CategoryTheory.Functor.linear_of_full_essSurj_compView on Github →