Def CochainComplex.HomComplex.Cocycle.postcomp

Modification history

2026-01-10 11:02

Mathlib/Algebra/Homology/HomotopyCategory/HomComplex.lean

feat(Algebra/Homology): functoriality of `ProjectiveResolution.extMk` (#33358) …

Added CochainComplex.HomComplex.Cocycle.postcomp View on Github →