Mathlib Changelog
v4
Changelog
About
Github
Theorem
HomologicalComplex.XIsoOfEq_inv_naturality
Modification history
2023-09-05 16:59
Mathlib/Algebra/Homology/HomologicalComplex.lean
feat: the shift on the category of cochain complexes (#6626) …
Added
HomologicalComplex.XIsoOfEq_inv_naturality
View on Github →