Theorem Finset.image_div_prod

Modification history