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