Theorem Equiv.Perm.support_conj

Modification history