Representation Theory

CharacterTable(G) : GrpAb -> TabChtr
The table of irreducible characters for the group G.
V2.29, 28 November 2025