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