Theorem Equiv.Perm.signAux3_mul_and_swap

Modification history