Theorem Equiv.Perm.support_one

Modification history