Theorem Equiv.Perm.disjoint_prod_perm

Modification history