Theorem Rep.norm_comp_d_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.norm_comp_d_eq_zero View on Github →

2026-06-09 15:16

Mathlib/RepresentationTheory/Homological/TateCohomology/Basic.lean

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

Added Rep.norm_comp_d_eq_zero View on Github →