Theorem Finset.prod_sub

Modification history