Theorem Equiv.Perm.sign_bij

Modification history