Theorem Equiv.Perm.support_swap_mul_swap

Modification history