Theorem Equiv.Perm.sign_refl

Modification history