Theorem Finsupp.total_zero

Modification history