Theorem Equiv.Perm.isConj_of_support_equiv

Modification history