Mathlib v3 is deprecated. Go to Mathlib v4

Theorem homotopy_equiv.to_quasi_iso

Modification history

2022-11-25 08:40
src/algebra/homology/quasi_iso.lean
feat(representation_theory/group_cohomology_resolution): add projective resolution (#17443)
Modified homotopy_equiv.to_quasi_isoView on Github →
2022-07-17 15:25
src/algebra/homology/quasi_iso.lean
feat(algebra/homology): homotopy equivalences are quasi-isomorphisms (#14945) …
Added homotopy_equiv.to_quasi_isoView on Github →