Theorem Rep.coinvariantsShortComplex_shortExact

Modification history

2026-03-24 21:13
Mathlib/RepresentationTheory/Coinvariants.lean
chore(RepresentationTheory): Refactor Rep (#36127) …
Modified Rep.coinvariantsShortComplex_shortExactView 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_shortExactView on Github →