Theorem Finsupp.support_mul

Modification history