Theorem HomologicalComplex₂.hasTotal_of_iso

Modification history

2024-06-08 04:33
Mathlib/Algebra/Homology/TotalComplex.lean
feat(Algebra/Homology): commutation up to signs of the compatibility isomorphisms of the total complex with shifts in both variables (#11517) …
Added HomologicalComplex₂.hasTotal_of_isoView on Github →