Theorem Equiv.Perm.signAux_mul

Modification history