Representation Theory

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