Theorem Finset.prod_eq_prod_extend

Modification history