Theorem Equiv.Perm.support_swap_mul_ge_support_diff

Modification history