Theorem Equiv.Perm.IsSwap.sign_eq

Modification history