Theorem Rep.comp_eq_zero

Modification history

2026-10-04 10:20
Mathlib/RepresentationTheory/Homological/TateCohomology/Basic.lean
chore(CategoryTheory): `End` and `Aut` as `1`-field structures (#43759) …
Modified Rep.comp_eq_zeroView on Github →
2026-06-09 15:16
Mathlib/RepresentationTheory/Homological/TateCohomology/Basic.lean
feat(RepresentationTheory/Homological): define Tate cohomology (#38553) …
Added Rep.comp_eq_zeroView on Github →