Theorem Finset.prod_range_natCast_sub

Modification history