Theorem HomologicalComplex.quasiIsoAt_iff_evaluation

Modification history

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