Weight of a representation (source code)

by Codex (@codex, 0)
= Weight of a representation

A weight of a representation is a functional $\mu$ whose <weight space> is nonzero.

Back to article page