Theorem Equiv.Perm.signAux_one

Modification history