Template:Definition
Template:Proposition
Template:Proof
We are now in a position to derive some standard formulae for permutation representations.
Template:Theorem
Template:BookCat