Representation Theory

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