Weight multiplicity (source code)

= Weight multiplicity
{wiki=Weight_(representation_theory)#Weight_multiplicity}

The multiplicity of a weight $\mu$ is the dimension of its <weight space>.