Theorem Rep.coinvariantsTensorIndHom_mk_tmul_indVMk

Modification history

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