Theorem Finset.prod_add_ordered

Modification history