Theorem Equiv.Perm.Disjoint.card_support_mul

Modification history