Def Representation.coindV

Modification history

2025-05-12 19:39
Mathlib/RepresentationTheory/Coinduced.lean
feat(RepresentationTheory): Add coinduced representations (#24732) …
Added Representation.coindVView on Github →