Schur's lemma (source code)

= Schur's lemma
{c}
{wiki}

= Schur lemma
{c}
{synonym}

An intertwiner between irreducible complex representations is either zero or an isomorphism; an endomorphism of one irreducible is scalar.