Theorem Finsupp.prod_add_index_of_disjoint

Modification history