Theorem Representation.apply_eq_of_coe_eq

Modification history

2025-05-15 10:23
Mathlib/RepresentationTheory/Basic.lean
feat(RepresentationTheory/*): subrepresentations, quotients by subrepresentations, and representations of quotient groups (#22651) …
Added Representation.apply_eq_of_coe_eqView on Github →