Theorem Equiv.Perm.support_prod_of_pairwise_disjoint

Modification history