Theorem Finsupp.prod_option_index

Modification history