2026-03-02 12:12
Mathlib/Algebra/Homology/HomologicalComplexLimitsEventuallyConstant.lean
feat(Algebra/Homology): limits of degreewise eventually constant projective systems (#35935)
Added HomologicalComplex.isIso_π_f_of_isLimit_of_isEventuallyConstantTo