Def HomologicalComplex₂.toGradedObjectFunctor

Modification history

2024-02-23 17:24

Mathlib/Algebra/Homology/HomologicalBicomplex.lean

feat(Algebra/Homology): the total complex functor (#10711) …

Added HomologicalComplex₂.toGradedObjectFunctor View on Github →