Theorem Rep.coind'_ext

Modification history

2026-03-24 21:13

Mathlib/RepresentationTheory/Coinduced.lean

chore(RepresentationTheory): Refactor Rep (#36127) …

Modified Rep.coind'_ext View on Github →

2025-05-12 19:39

Mathlib/RepresentationTheory/Coinduced.lean

feat(RepresentationTheory): Add coinduced representations (#24732) …

Added Rep.coind'_ext View on Github →