Theorem HomologicalComplex.isSupported_iff_of_quasiIso

Modification history

2025-12-19 13:08
Mathlib/Algebra/Homology/Embedding/IsSupported.lean
feat(Algebra/Homology): equivOfIsKInjective (#32814) …
Added HomologicalComplex.isSupported_iff_of_quasiIsoView on Github →