Theorem HomologicalComplex.XIsoOfEq_hom_comp_XIsoOfEq_inv

Modification history

2023-07-31 16:57
Mathlib/Algebra/Homology/HomologicalComplex.lean
feat: the short complexes attached to homological complexes (#6039) …
Added HomologicalComplex.XIsoOfEq_hom_comp_XIsoOfEq_invView on Github →