Theorem Finset.prod_image_of_disjoint

Modification history