Description: If the same permutation can be written in more than one way as a product of transpositions, the parity of those products must agree; otherwise the product of one with the inverse of the other would be an odd representation of the identity. (Contributed by Stefan O'Rear, 27-Aug-2015)
Ref | Expression | ||
---|---|---|---|
Hypotheses | psgnuni.g | |
|
psgnuni.t | |
||
psgnuni.d | |
||
psgnuni.w | |
||
psgnuni.x | |
||
psgnuni.e | |
||
Assertion | psgnuni | |