Theorem homotopyEquivalences_le_quasiIso

Modification history

2025-11-23 19:05
Mathlib/Algebra/Homology/QuasiIso.lean
feat(Algebra/Homology): a factorization of morphisms of cochain complexes (#31559) …
Modified homotopyEquivalences_le_quasiIsoView on Github →
2024-05-01 07:53
Mathlib/Algebra/Homology/QuasiIso.lean
chore(CategoryTheory/MorphismProperty): Use le instead of subset (#12520)
Added homotopyEquivalences_le_quasiIsoView on Github →