Theorem Finsupp.prod_add_index

Modification history