Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Def
cochain_complex.of
Modification history
2021-05-18 16:02
src/algebra/homology/homological_complex.lean
feat(algebra/homology/homological_complex): Dualizes some constructions (#7643) …
Added
cochain_complex.of
View on Github →