Theorem HomologicalComplex.XIsoOfEq_rfl

Modification history

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