Theorem HomologicalComplex.XIsoOfEq_inv_comp_d

Modification history

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