Theorem Finset.prod_image_of_pairwise_eq_one

Modification history