Mathlib Changelog
v4
Changelog
About
Github
Theorem
CochainComplex.HomComplex.Cochain.map_add
Modification history
2025-04-05 12:10
Mathlib/Algebra/Homology/HomotopyCategory/HomComplex.lean
refactor: protect "map_add" lemmas (#23451) …
Deleted
CochainComplex.HomComplex.Cochain.map_add
View on Github →
2023-10-20 14:35
Mathlib/Algebra/Homology/HomotopyCategory/HomComplex.lean
feat: a homotopy of maps of cochain complexes identifies to (-1)-cochains in the complex of homomorphisms (#7656) …
Added
CochainComplex.HomComplex.Cochain.map_add
View on Github →