Mathlib Changelog
v4
Changelog
About
Github
Theorem
CategoryTheory.GradedObject.hasMap_of_iso
Modification history
2024-07-28 23:33
Mathlib/CategoryTheory/GradedObject.lean
chore: robustifying for debug.byAsSorry (part 13) (#15197)
Modified
CategoryTheory.GradedObject.hasMap_of_iso
View on Github →
2024-06-08 04:33
Mathlib/CategoryTheory/GradedObject.lean
feat(Algebra/Homology): commutation up to signs of the compatibility isomorphisms of the total complex with shifts in both variables (#11517) …
Added
CategoryTheory.GradedObject.hasMap_of_iso
View on Github →