Def Rep.coinvariantsShortComplex

Modification history

2026-03-24 21:13

Mathlib/RepresentationTheory/Coinvariants.lean

chore(RepresentationTheory): Refactor Rep (#36127) …

Modified Rep.coinvariantsShortComplex View on Github →

2025-06-05 17:13

Mathlib/RepresentationTheory/Coinvariants.lean

feat(RepresentationTheory/Coinvariants): the `G ⧸ S`-representation on `A_S` for `A : Rep k G` (#22652) …

Added Rep.coinvariantsShortComplex View on Github →