Theorem Finsupp.prod_attach_index

Modification history