Theorem Dfinsupp.prod_neg_index

Modification history