Theorem Equiv.Perm.signAux_swap

Modification history