Theorem HomologicalComplex₂.toGradedObjectMap_apply

Modification history

2024-02-23 17:24
Mathlib/Algebra/Homology/HomologicalBicomplex.lean
feat(Algebra/Homology): the total complex functor (#10711) …
Added HomologicalComplex₂.toGradedObjectMap_applyView on Github →