Theorem Finsupp.prod_filter_index

Modification history