Theorem Equiv.Perm.sign_trans

Modification history