Theorem CategoryTheory.ShortComplex.quasiIso_iff_evaluation

Modification history

2026-02-11 08:51
Mathlib/Algebra/Homology/Functor.lean
feat(Algebra/Homology): quasi-isomorphisms in functor categories (#35119)
Added CategoryTheory.ShortComplex.quasiIso_iff_evaluationView on Github →