Theorem Equiv.Perm.sign_one

Modification history