Def Representation.coind

Modification history

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