Theorem Finsupp.total_zero_apply

Modification history