Schur lemma (source code)

= Schur lemma
{c}
{wiki=Schur's_lemma}

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