Nonlinear irreducible character (source code)

= Nonlinear irreducible character

A nonlinear irreducible character has degree greater than one.