Theorem DFinsupp.prod_mul

Modification history