Theorem Finsupp.support_add

Modification history