Subrepresentation (source code)

= Subrepresentation

A subrepresentation is an <invariant subspace> of a <group representation> or <Lie algebra representation>, with the restricted action.