Theorem Finsupp.prod_indicator_index

Modification history