Theorem Equiv.Perm.sign_permCongr

Modification history