Theorem Representation.trivial_apply

Modification history

2025-02-27 23:06
Mathlib/RepresentationTheory/Basic.lean
refactor(RepresentationTheory/*): minor tweaks to the API for trivial representations (#22335)
Added Representation.trivial_applyView on Github →