Theorem Equiv.Perm.sign_inv

Modification history