Permutation/Sign via transpositions/Fact/Proof
<
Permutation/Sign via transpositions/Fact
Proof
This follows from
fact
and
fact
.
To fact