Weight multiplicity (source code)

= Weight multiplicity

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

Thus it is a dimension attached to a <Weight (representation theory)> and its <weight space>.