Theorem Rep.coinvariantsTensorIndInv_mk_tmul_indMk

Modification history

2025-07-11 07:44
Mathlib/RepresentationTheory/Induced.lean
feat(RepresentationTheory/Homological/GroupHomology): add Shapiro's lemma (#25996) …
Added Rep.coinvariantsTensorIndInv_mk_tmul_indMkView on Github →