Theorem Equiv.Perm.sign_eq_sign_of_equiv

Modification history