Def HomologicalComplex.XIsoOfEq

Modification history

2023-09-22 11:29
Mathlib/Algebra/Homology/HomologicalComplex.lean
chore: exactly 4 spaces in subsequent lines for def (#7321)
Modified HomologicalComplex.XIsoOfEqView on Github →
2023-07-31 16:57
Mathlib/Algebra/Homology/HomologicalComplex.lean
feat: the short complexes attached to homological complexes (#6039) …
Added HomologicalComplex.XIsoOfEqView on Github →