Theorem Finset.prod_dvd_prod_of_subset

Modification history