Mathlib Changelog
v4
Changelog
About
Github
Def
TotalComplexShape.symm
Modification history
2025-12-05 20:27
Mathlib/Algebra/Homology/ComplexShapeSigns.lean
feat(Algebra/Homology): extensions of bifunctors to complexes preserve homotopies (#32383) …
Added
TotalComplexShape.symm
View on Github →