Theorem Finsupp.support_zero

Modification history