Theorem Equiv.Perm.isConj_swap

Modification history