Theorem Equiv.Perm.support_swap

Modification history