Def HomologicalComplex.homologyOp

Modification history

2023-11-30 20:26
Mathlib/Algebra/Homology/Opposite.lean
refactor(Algebra/Homology): use the new homology API (#8706) …
Added HomologicalComplex.homologyOpView on Github →