Irreducible character degree (source code)

= Irreducible character degree

The degree of an irreducible character $\chi$ is $\chi(1)$, the dimension of the corresponding irreducible representation.