Theorem Equiv.Perm.support_swap_mul_eq

Modification history