Def TateCohomology.tateComplex.evalNeg

Modification history

2026-06-09 15:16

Mathlib/RepresentationTheory/Homological/TateCohomology/Basic.lean

feat(RepresentationTheory/Homological): define Tate cohomology (#38553) …

Added TateCohomology.tateComplex.evalNeg View on Github →